Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets

DOI10.1016/j.scico.2011.05.002zbMath1243.68042OpenAlexW1969351319MaRDI QIDQ436361

María Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentin Valero, Hermenegilda Macia

Publication date: 20 July 2012

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.05.002

zbMATH Keywords

web service compositionweb servicesprioritieschoreographytimed colored Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)

Uses Software

• Reo
• BPEL2oWFN
• M-nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Building distributed controllers for systems with priorities
• Petri net semantics of priority systems
• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
• Petri net algebra
• On the analysis of Petri nets with static priorities
• Coloured Petri Nets
• Reo: a channel-based coordination model for component composition
• Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
• Fundamental Approaches to Software Engineering
• Structured Communication-Centred Programming for Web Services
• Foundations of Software Science and Computation Structures

This page was built for publication: Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets