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
  • 2111 (literal)
Pagina fine
  • 2117 (literal)
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
  • 7 (literal)
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
  • CNR-ISTI, Pisa (literal)
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
data.CNR.it