A state/event-based model-checking approach for the analysis of abstract system properties (Articolo in rivista)

Type

• Articolo in rivista (Classe)
• Prodotto della ricerca (Classe)

Label

• A state/event-based model-checking approach for the analysis of abstract system properties (Articolo in rivista) (literal)

Anno

• 2011-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1016/j.scico.2010.07.002 (literal)

Alternative label

• ter Beek, M. H., Fantechi, A., Gnesi, S., Mazzanti, F. (2011)
  A state/event-based model-checking approach for the analysis of abstract system properties
  in Science of computer programming (Print)
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• ter Beek, M. H., Fantechi, A., Gnesi, S., Mazzanti, F. (literal)

Pagina inizio

• 119 (literal)

Pagina fine

• 135 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco; EU FP6 Project (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://www.sciencedirect.com/science/article/pii/S0167642310001498 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 76 (literal)

Rivista

• Science of computer programming (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo

• 2 (literal)

Note

• PuMa (literal)
• ISI Web of Science (WOS) (literal)
• Scopu (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTI, Pisa, Italy; Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze, Italy (literal)

Titolo

• A state/event-based model-checking approach for the analysis of abstract system properties (literal)

Abstract

• We present the UMC framework for the formal analysis of concurrent systems specified by collections of UML state machines. The formal model of a system is given by a doubly labelled transition system, and the logic used to specify its properties is the state-based and event-based logic UCTL. UMC is an on-the-fly analysis framework which allows the user to interactively explore a UML model, to visualize abstract behavioural slices of it and to perform local model checking of UCTL formulae. An automotive scenario from the serviceoriented computing (SOC) domain is used as case study to illustrate our approach. (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR

• ALESSANDRO FANTECHI (Persona)
• MAURICE HENRI TER BEEK (Unità di personale interno)
• STEFANIA GNESI (Persona)
• FRANCO MAZZANTI (Unità di personale interno)

Insieme di parole chiave

• Keywords of "A state/event-based model-checking approach for the analysis of abstract system properties" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• FRANCO MAZZANTI (Unità di personale interno)
• STEFANIA GNESI (Persona)
• MAURICE HENRI TER BEEK (Unità di personale interno)
• ALESSANDRO FANTECHI (Persona)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Science of computer programming (Rivista)

Insieme di parole chiave di

• Keywords of "A state/event-based model-checking approach for the analysis of abstract system properties" (Insieme di parole chiave)