Modeling Concurrent Behavior through Consistent Statechart Views
G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 44–49.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Engels, GregorLibreCat;
Küster, Jochen;
Groenewegen, Luuk
Department
Abstract
In concurrent systems, multiple components communicate with each other by exchanging messages. Each component may take part in several communication protocols at the same time, each one taking part over a so-called connector. Valid sequences of message exchanges are usually modeled in a communication protocol. There arise several important questions concerning protocols: Given a protocol how to ensure that each participant conforms to the protocol on the model level? Conversely, given multiple components how to extract the protocol? In our position statement, we propose a technique for ensuring protocol conformity based on extraction of statechart views from each component's statechart.
Publishing Year
Proceedings Title
Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)
Issue
0006
Page
44-49
LibreCat-ID
Cite this
Engels G, Küster J, Groenewegen L. Modeling Concurrent Behavior through Consistent Statechart Views. In: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany). Munich (Germany): Ludwig-Maximilians-University; 2000:44-49.
Engels, G., Küster, J., & Groenewegen, L. (2000). Modeling Concurrent Behavior through Consistent Statechart Views. In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany) (pp. 44–49). Munich (Germany): Ludwig-Maximilians-University.
@inproceedings{Engels_Küster_Groenewegen_2000, place={Munich (Germany)}, title={Modeling Concurrent Behavior through Consistent Statechart Views}, number={0006}, booktitle={Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}, publisher={Ludwig-Maximilians-University}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2000}, pages={44–49} }
Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Modeling Concurrent Behavior through Consistent Statechart Views.” In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 44–49. Munich (Germany): Ludwig-Maximilians-University, 2000.
G. Engels, J. Küster, and L. Groenewegen, “Modeling Concurrent Behavior through Consistent Statechart Views,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 44–49.
Engels, Gregor, et al. “Modeling Concurrent Behavior through Consistent Statechart Views.” Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), no. 0006, Ludwig-Maximilians-University, 2000, pp. 44–49.
Google Scholar