Controllable-choice message sequence graphs
Chmelik M, Řehák V. 2013. Controllable-choice message sequence graphs. 7721, 118–130.
Download (ext.)
http://arxiv.org/abs/1209.4499
[Submitted Version]
Conference Paper
| Published
| English
Scopus indexed
Author
Chmelik, MartinISTA;
Řehák, Vojtěch
Department
Grant
Series Title
LNCS
Abstract
We focus on the realizability problem of Message Sequence Graphs (MSG), i.e. the problem whether a given MSG specification is correctly distributable among parallel components communicating via messages. This fundamental problem of MSG is known to be undecidable. We introduce a well motivated restricted class of MSG, so called controllable-choice MSG, and show that all its models are realizable and moreover it is decidable whether a given MSG model is a member of this class. In more detail, this class of MSG specifications admits a deadlock-free realization by overloading existing messages with additional bounded control data. We also show that the presented class is the largest known subclass of MSG that allows for deadlock-free realization.
Publishing Year
Date Published
2013-01-09
Publisher
Springer
Volume
7721
Page
118 - 130
Conference
MEMICS: Mathematical and Engineering Methods in Computer Science
Conference Location
Znojmo, Czech Republic
Conference Date
2012-10-25 – 2012-10-28
IST-REx-ID
Cite this
Chmelik M, Řehák V. Controllable-choice message sequence graphs. 2013;7721:118-130. doi:10.1007/978-3-642-36046-6_12
Chmelik, M., & Řehák, V. (2013). Controllable-choice message sequence graphs. Presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Znojmo, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-36046-6_12
Chmelik, Martin, and Vojtěch Řehák. “Controllable-Choice Message Sequence Graphs.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36046-6_12.
M. Chmelik and V. Řehák, “Controllable-choice message sequence graphs,” vol. 7721. Springer, pp. 118–130, 2013.
Chmelik M, Řehák V. 2013. Controllable-choice message sequence graphs. 7721, 118–130.
Chmelik, Martin, and Vojtěch Řehák. Controllable-Choice Message Sequence Graphs. Vol. 7721, Springer, 2013, pp. 118–30, doi:10.1007/978-3-642-36046-6_12.
All files available under the following license(s):
Copyright Statement:
This Item is protected by copyright and/or related rights. [...]
Link(s) to Main File(s)
Access Level
Open Access