Modelling and analysing interoperability in service compositions using COSMO
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Towards dynamic matching of business-level protocols in adaptive service compositions
BPM'07 Proceedings of the 2007 international conference on Business process management
Pattern based property specification and verification for service composition
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Pattern-Based specification and validation of web services interaction properties
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
| Hi-index | 0.00 |
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viable system. A body of recent work has explored the use of formal languages in specifying component interaction protocols for interoperability checking, but lacks the practicality required by software practitioners for daily use. Faced with this, we have developed a lightweight specification approach to component interaction rules, which has the necessary expressiveness and employs event patterns in rule specification for easy adoption by practitioners. In this paper, we present a FSA-based semantic model for such rules and novel studies of rule consistency and system-wide protocol interoperability for components annotated with interaction rules. We also develop incremental approaches and tools to check these properties, which provide an effective means to discover errors in the design of component interaction rules and component-based system architectures.