Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Modeling Business Rules with Situation/Activation Diagrams
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
Proceedings of the Seventh International Conference on Data Engineering
CAiSE '97 Proceedings of the 9th International Conference on Advanced Information Systems Engineering
On Structured Workflow Modelling
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Business Process Management, Models, Techniques, and Empirical Studies
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Compatibility Verification for Web Service Choreography
ICWS '04 Proceedings of the IEEE International Conference on Web Services
An ontology for internal and external business processes
Proceedings of the 15th international conference on World Wide Web
Decentralized Consistency Checking in Cross-organizationalWorkflows
CEC-EEE '06 Proceedings of the The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Testing BPEL-based Web Service Composition Using High-level Petri Nets
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Service oriented architectures: approaches, technologies and research issues
The VLDB Journal — The International Journal on Very Large Data Bases
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
An approach to adapt service requests to actual service interfaces
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Timed Specification For Web Services Compatibility Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics and analysis of business process models in BPMN
Information and Software Technology
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Behavioral Compatibility of Web Services
OTM '08 Proceedings of the OTM Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: 2008 Workshops: ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS
Ontology-Based Compatibility Checking for Web Service Configuration Management
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Computing compatibility in dynamic service composition
Knowledge and Information Systems
Data & Knowledge Engineering
Formal Analysis of Services Compatibility
COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 02
Compatibility analysis and mediation-aided composition for BPEL services
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
Model driven orchestration: design for service compatibility
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Structured service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
A hybrid approach for generating compatible WS-BPEL partner processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Workflow-Based coordination and cooperation in a service world
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Bridging Global and Local Models of Service-Oriented Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A Petri Net Approach to Analyzing Behavioral Compatibility and Similarity of Web Services
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
Hi-index | 0.00 |
Service composition is a recent field that has seen a flurry of different approaches proposed towards the goal of flexible distributed heterogeneous interoperation of software systems, usually based on the expectation that such systems must be derived from higher-level models rather than be coded at low level. In practice, achieving service interoperability nonetheless continues to require significant modelling approach at multiple abstraction levels, and existing formal approaches typically require the analysis of the global space of joint executions of interacting services. Based on our earlier work on providing locally checkable consistency rules for guaranteeing the behavioural consistency of inheritance hierarchies, a model-driven approach for creating consistent service orchestrations is proposed. Service execution and interaction is represented with a high-level model in terms of extended Petri net notation; formal criteria are provided for service consistency that can be checked in terms of local model properties, and give a multi-step design approach for developing services that are guaranteed to be interoperable. Finally, it is outlined how the presented results can be carried over and applied to modelling processes using the Business Process Modelling Notation (BPMN).