Synthesizing decentralized components from a variant of live sequence charts

D. Fahland, A. Kantor

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
Titel1st International Conference on Model-Driven Engineering and Software Development (Modelsward 2013, Barcelona, Spain, February 19-21, 2013)
RedacteurenS. Hammoudi, L. Ferreira Pires, J. Filipe, R.C. Neves, das
UitgeverijSCITEPRESS-Science and Technology Publications, Lda.
Pagina's25-38
ISBN van geprinte versie978-989-8565-42-6
DOI's
StatusGepubliceerd - 2013
Evenement1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), February 19-21, 2013, Barcelona, Spain - Barcelona, Spanje
Duur: 19 feb 201321 feb 2013
http://www.modelsward.org/?y=2013

Congres

Congres1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), February 19-21, 2013, Barcelona, Spain
Verkorte titelMODELSWARD 2013
Land/RegioSpanje
StadBarcelona
Periode19/02/1321/02/13
Ander1st International Conference on Model-Driven Engineering and Software Development
Internet adres

Vingerafdruk

Duik in de onderzoeksthema's van 'Synthesizing decentralized components from a variant of live sequence charts'. Samen vormen ze een unieke vingerafdruk.

Citeer dit