A modal specification theory for components with data

Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)
787 Downloads (Pure)

Abstract

Modal specification is a well-known formalism used as an abstraction theory for tran-
sition systems. Modal specifications are transition systems equipped with two types
of transitions: must-transitions that are mandatory to any implementation, and may-
transitions that are optional. The duality of transitions allows for developing a unique
approach for both logical and structural compositions, and eases the step-wise refine-
ment process for building implementations. We propose Modal Specifications with
Data (MSDs), the first modal specification theory with explicit representation of data.
Our new theory includes the most commonly seen ingredients of a specification the-
ory; that is parallel composition, conjunction and quotient. As MSDs are by nature
potentially infinite-state systems, we propose symbolic representations based on effec-
tive predicates. Our theory serves as a new abstraction-based formalism for transition
systems with data.
Original languageEnglish
JournalScience of Computer Programming
Volume83
Pages (from-to)106–128
Number of pages22
ISSN0167-6423
DOIs
Publication statusPublished - 1 Apr 2014
Event8th International Workshop, FACS 2011 - Oslo, Norway
Duration: 14 Nov 201116 Nov 2011
Conference number: 8th

Conference

Conference8th International Workshop, FACS 2011
Number8th
Country/TerritoryNorway
CityOslo
Period14/11/201116/11/2011

Keywords

  • Modal Transition Systems, Specifications, Interfaces, Data Abstraction, Modal Specifications with Data

Fingerprint

Dive into the research topics of 'A modal specification theory for components with data'. Together they form a unique fingerprint.

Cite this