OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Event Algebra for Transition Systems Composition - Application to Timed Automata

Fares, Elie and Bodeveix, Jean-Paul and Filali, Mamoun Event Algebra for Transition Systems Composition - Application to Timed Automata. (2013) In: 20th International Symposium on Temporal Representation and Reasoning (TIME 2013), 26 September 2013 - 28 September 2013 (Penscacolq, FL, United States).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
434kB

Official URL: http://dx.doi.org/10.1109/TIME.2013.23

Abstract

Formal specification languages have a lot of notions in common. They all introduce entities usually called processes, offer similar operators, and most importantly define their operational semantics based on labeled transition systems (LTS). However, each language defines specific synchronizing and/or memory structures. For instance, in CSP, the synchronization is defined between identical events, while in CCS and in synchronization vectors-based views it is defined respectively between complementary events or between possibly different events. In this paper, we aim at capturing some similarities of specification languages by defining a label-based composition formal framework. Firstly, we define a high-level synchronization mechanism in the form of an abstract label structure. We then couple this label structure with several compositional operations and properties. Secondly, we introduce an LTS-based behavioral framework and define a unique LTS composition operator which is reused to define syntactic composition of extended transition systems and a compositional semantics.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to IEEE editor. ISBN : 978-1-4799-2240-6 The definitive version is available at http://ieeexplore.ieee.org The original PDF of the article can be found at : http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6786804
HAL Id:hal-01220607
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:02 Oct 2015 14:26

Repository Staff Only: item control page