http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44246
A model-checking approach for service component architectures (Articolo in rivista)
- Type
- Label
- A model-checking approach for service component architectures (Articolo in rivista) (literal)
- Anno
- 2009-01-01T00:00:00+01:00 (literal)
- Alternative label
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Abreu J.; Mazzanti F.; Fiadeiro L. J.; Gnesi S. (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
- Rivista
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
- In: FMOODS/FORTE 2009 - Formal Techniques for Distributed Systems. Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009 (Lisboa, Portugal, 9-12 June 2009). Proceedings, pp. 219 - 224. David Lee, Antonia Lopes, Arnd Poetzsch-Heffter (eds.). (Lecture Notes in Computer Science, vol. 5522). Springer, 2009. (literal)
- Note
- ISI Web of Science (WOS) (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- Department of Computer Science, University of Leicester, CNR-ISTI, Pisa (literal)
- Titolo
- A model-checking approach for service component architectures (literal)
- 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. (literal)
- Prodotto di
- Autore CNR
- Insieme di parole chiave
Incoming links:
- Autore CNR di
- Prodotto
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
- Insieme di parole chiave di
