Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A coordination model for service-oriented interactions
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
The SENSORIA reference modelling language
Rigorous software engineering for service-oriented systems
SENSORIA results applied to the case studies
Rigorous software engineering for service-oriented systems
A formal model for service-oriented interactions
Science of Computer Programming
A graph-based design framework for services
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
A Design Tool for Service-oriented Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being defined within the SENSORIA project. We introduce a methodology for encoding patterns of typical service interaction with UML state machines and present a strategy for checking SRML specifications of service composition based on such patterns. For that purpose, we use the action-state branching time temporal logic UCTL and the model-checker UMC.