Abstract
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. © 2009 Springer Berlin Heidelberg.
Cite
CITATION STYLE
Abreu, J., Mazzanti, F., Fiadeiro, J. L., & Gnesi, S. (2009). A model-checking approach for service component architectures. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5522 LNCS, pp. 219–224). https://doi.org/10.1007/978-3-642-02138-1_15
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
