Affordable Access

New Results on Abstract Probabilistic Automata

Authors
Publisher
I E E E Computer Society
Publication Date
Disciplines
  • Linguistics
  • Logic

Abstract

A Modal Specification Theory for Components with Data* Sebastian S. Bauer Institut für Informatik, Ludwig-Maximilians-Universität München, Germany Kim G. Larsen Computer Science, Aalborg University, Denmark Axel Legay INRIA/IRISA, Rennes Cedex, France & Computer Science, Aalborg University, Denmark Ulrik Nyman Computer Science, Aalborg University, Denmark Andrzej Wa˛sowski IT University of Copenhagen, Denmark 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. Keywords: Modal Transition Systems, Specifications, Interfaces, Data Abstraction, Modal Specifications with Data. Email addresses: [email protected] (Sebastian S. Bauer), [email protected] (Kim G. Larsen), [email protected] (Axel Legay), [email protected] (Ulrik Nyman), [email protected] (Andrzej Wa˛sowski) *The present paper is an extended version of the conference paper [1] with the semantic definitions, more proofs, an additional figure and extended related work. Preprint submitted to Elsevier October 10, 2013 1. Introduction Modern IT systems are often large and consist of complex assemblies of nume

There are no comments yet on this publication. Be the first to share your thoughts.