A logical framework to deal with variability (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• A logical framework to deal with variability (Contributo in atti di convegno) (literal)

Anno

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

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

• 10.1007/978-3-642-16265-7_5 (literal)

Alternative label

• Patrizia Asirelli; Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi (2010)
  A logical framework to deal with variability
  in 8th International Conference on Integrated Formal Methods (IFM 2010), Nancy, Francia, 11-14 Ottobre 2010
  (literal)

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

• Patrizia Asirelli; Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi (literal)

Pagina inizio

• 43 (literal)

Pagina fine

• 58 (literal)

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

• http://www.springerlink.com/content/v2q5265t64v62u54/ (literal)

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

• Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010 (literal)

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

• 6396 (literal)

Note

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

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

• CNR-ISTI, Pisa; CNR-ISTI, Pisa; Università degli Studi di Firenze; CNR-ISTI, Pisa (literal)

Titolo

• A logical framework to deal with variability (literal)

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

• 978-3-642-16264-0 (literal)

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

• D. Méry; S. Merz (literal)

Abstract

• We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy-Milner logic with Until and we interpret it over Modal Transition Systems (MTSs). MTSs extend the classical notion of Labelled Transition Systems by distinguishing possible (may) and required (must) transitions: these two types of transitions are useful to describe variability in behavioural descriptions of product families. This leads to a novel deontic interpretation of the classical modal and temporal operators, which allows the expression of both constraints over the products of a family and constraints over their behaviour in a single logical framework. Finally, we sketch model-checking algorithms to verify MHML formulae as well as a way to derive correct products from a product family description. (literal)

Editore

• Springer Berlin / Heildelberg (Editore)

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

• PATRIZIA ASIRELLI (Unità di personale esterno)
• STEFANIA GNESI (Persona)
• MAURICE HENRI TER BEEK (Unità di personale interno)
• ALESSANDRO FANTECHI (Persona)

Incoming links:

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)

Autore CNR di

• STEFANIA GNESI (Persona)
• MAURICE HENRI TER BEEK (Unità di personale interno)
• ALESSANDRO FANTECHI (Persona)
• PATRIZIA ASIRELLI (Unità di personale esterno)

Editore di

• Springer Berlin / Heildelberg (Editore)