Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
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
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Timed Specification For Web Services Compatibility Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatically Determining Compatibility of Evolving Services
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
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
Computing compatibility in dynamic service composition
Knowledge and Information Systems
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
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
Behavior based integration of composite business processes
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Bridging Global and Local Models of Service-Oriented Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A model-driven framework for runtime adaptation of web service compositions
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Design for service compatibility
Software and Systems Modeling (SoSyM)
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 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 behavioral consistency of inheritance hierarchies, we propose a model-driven approach for creating consistent service orchestrations. We represent service execution and interaction with a high-level model in terms of Petri-net based Behavior diagrams, provide formal criteria for service consistency that can be checked in terms of local model properties, and give a design methodology for developing services that are guaranteed to be interoperable.