en
Report
Open access
English

ACCESS - Algebraic Concurrent Events for System Specification

MandatorCUI - Centre Universitaire d'Informatique, Université de Genève & FNSRS - Swiss National Fund for Scientific Research
Number of pages61
PublisherGenève : CUI - Centre Universitaire d'Informatique, Université de Genève & FNSRS - Swiss National Fund for Scientific Research
Publication date1994
Abstract

Access is a new algebraic specification formalism, which focuses on the fine description of the ``true'' concurrency and on a high degree of expressivity. Systems are specified by a set of local states, whose value changes under the occurrence of events. Both events and data structure are specified by abstract data types. Static properties, i.e. global constraints over events and data structure, are described by first order formulae, while dynamic axioms, explaining the behavior of events, are given by causality rules. Concurrency can be described in different ways, it can be interleaving or true concurrency. Finally, expressivity is given by fine descriptions of both static and dynamic properties. Access has demonstrate to be a natural generalization of a great variety of Petri Nets (as for example -Algebraic, -Coloured, -With arc extensions Petri Nets). It is also able to capture concepts from other formalisms as Gamma language or CO-OPN. This report presents a complete description of Access syntax and semantics, together with an example of Access specification based on Petri Nets with Arc Extensions. This report also explains how specifications written in other languages as Petri Nets, Gamma, CO-OPN, are written in Access.

Citation (ISO format)
DI MARZO SERUGENDO, Giovanna, BUCHS, Didier. ACCESS - Algebraic Concurrent Events for System Specification. 1994
Main files (1)
Report
accessLevelPublic
Identifiers
  • PID : unige:55432
609views
79downloads

Technical informations

Creation03/24/2015 9:10:00 AM
First validation03/24/2015 9:10:00 AM
Update time03/14/2023 11:10:22 PM
Status update03/14/2023 11:10:21 PM
Last indexation01/16/2024 5:43:14 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack