http://www.cnr.it/ontology/cnr/individuo/prodotto/ID91954
CMC-UMC: a framework for the verification of abstract service-oriented properties (Contributo in atti di convegno)
- Type
- Label
- CMC-UMC: a framework for the verification of abstract service-oriented properties (Contributo in atti di convegno) (literal)
- Anno
- 2009-01-01T00:00:00+01:00 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
- 10.1145/1529282.1529751 (literal)
- Alternative label
Maurice H. ter Beek; Franco Mazzanti; Stefania Gnesi (2009)
CMC-UMC: a framework for the verification of abstract service-oriented properties
in 24th Annual ACM Symposium on Applied Computing, Honolulu, Hawaii, USA, 8-12 March 2009
(literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Maurice H. ter Beek; Franco Mazzanti; Stefania Gnesi (literal)
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
- http://dl.acm.org/ft_gateway.cfm?id=1529751 (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
- SAC '09 Proceedings of the 2009 ACM symposium on Applied Computing (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
- In: SAC'09 - 24th Annual ACM Symposium on Applied Computing (Honolulu, Hawaii, USA, 9-12 Marzo 2009). Proceedings, pp. 2111 - 2117. ACM, 2009. (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
- ABSTRACT: CMC and UMC are two prototypical instantiations of a common logical verification framework for the analysis of functional properties of service-oriented systems. The service-oriented SocL logic is used to describe the required system properties. Computational models of the system can be built either using the COWS specification language or designing the system as a collection of interacting UML state machines, and an on-the-fly model checker can be used to verify the satisfaction of the requirements and possibly to generate counterexamples or witnesses for them. An automotive case study is used to illustrate the overall framework. (literal)
- Note
- ACM DL (literal)
- Scopu (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- Titolo
- CMC-UMC: a framework for the verification of abstract service-oriented properties (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
- 978-1-60558-166-8 (literal)
- Abstract
- CMC and UMC are two prototypical instantiations of a common logical verification framework for the analysis of functional properties of service-oriented systems. The service-oriented SocL logic is used to describe the required system properties. Computational models of the system can be built either using the COWS specification language or designing the system as a collection of interacting UML state machines, and an on-the-fly model checker can be used to verify the satisfaction of the requirements and possibly to generate counterexamples or witnesses for them. An automotive case study is used to illustrate the overall framework. (literal)
- Editore
- Prodotto di
- Autore CNR
- Insieme di parole chiave
Incoming links:
- Autore CNR di
- Prodotto
- Editore di
- Insieme di parole chiave di