Synthesizing decentralized components from a variant of live sequence charts

D. Fahland, A. Kantor

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

Abstract

Live sequence charts (LSC) is a visual, executable, language for the modeling of reactive systems. Each chart depicts an inter-object scenario arising in the modeled system, partitioned into two: a monitored prechart, and a main chart. Despite the intuitive use of the language, complications arise when one wants to implement an LSC specification with decentralized components. In this paper, we introduce a variant of LSC, called distributed LSC (dLSC), which is targeted for the modeling and synthesis of decentralized systems, composed of several interacting components. While LSCs are commonly interpreted in terms of an interleaved execution of the scenarios in a sequential run, dLSCs employ partially ordered runs. We investigate the expressive power of dLSC compared to an established model of concurrent systems, namely, Petri nets, and show that dLSCs are, computationally, strictly more expressive than low-level Petri nets and subsumed by higher-level Petri nets. Specifically, we present an algorithm that synthesizes, given a dLSC specification, an equivalent token history net, which can serve as an executable implementation of the specification. Most importantly, the implementation is decentralized - components can be automatically extracted from the net. The synthesis of Petri-net components from a dLSC specification is supported by a tool.
Original languageEnglish
Title of host publication1st International Conference on Model-Driven Engineering and Software Development (Modelsward 2013, Barcelona, Spain, February 19-21, 2013)
EditorsS. Hammoudi, L. Ferreira Pires, J. Filipe, R.C. Neves, das
PublisherSCITEPRESS-Science and Technology Publications, Lda.
Pages25-38
ISBN (Print)978-989-8565-42-6
DOIs
Publication statusPublished - 2013
Event1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), February 19-21, 2013, Barcelona, Spain - Barcelona, Spain
Duration: 19 Feb 201321 Feb 2013
http://www.modelsward.org/?y=2013

Conference

Conference1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), February 19-21, 2013, Barcelona, Spain
Abbreviated titleMODELSWARD 2013
CountrySpain
CityBarcelona
Period19/02/1321/02/13
Internet address

Fingerprint Dive into the research topics of 'Synthesizing decentralized components from a variant of live sequence charts'. Together they form a unique fingerprint.

Cite this