{"status":"public","issue":"0006","language":[{"iso":"eng"}],"citation":{"short":"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.","ama":"Engels G, Küster J, Groenewegen L. Modeling Concurrent Behavior through Consistent Statechart Views. In: <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>. Munich (Germany): Ludwig-Maximilians-University; 2000:44-49.","apa":"Engels, G., Küster, J., &#38; Groenewegen, L. (2000). Modeling Concurrent Behavior through Consistent Statechart Views. In <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i> (pp. 44–49). Munich (Germany): Ludwig-Maximilians-University.","chicago":"Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Modeling Concurrent Behavior through Consistent Statechart Views.” In <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>, 44–49. Munich (Germany): Ludwig-Maximilians-University, 2000.","mla":"Engels, Gregor, et al. “Modeling Concurrent Behavior through Consistent Statechart Views.” <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>, no. 0006, Ludwig-Maximilians-University, 2000, pp. 44–49.","bibtex":"@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} }","ieee":"G. Engels, J. Küster, and L. Groenewegen, “Modeling Concurrent Behavior through Consistent Statechart Views,” in <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>, 2000, no. 0006, pp. 44–49."},"year":"2000","page":"44-49","date_updated":"2022-01-06T07:03:53Z","publisher":"Ludwig-Maximilians-University","abstract":[{"text":"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.","lang":"eng"}],"user_id":"52534","title":"Modeling Concurrent Behavior through Consistent Statechart Views","author":[{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"last_name":"Groenewegen","full_name":"Groenewegen, Luuk","first_name":"Luuk"}],"department":[{"_id":"66"}],"type":"conference","place":"Munich (Germany)","publication":"Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)","date_created":"2019-03-05T13:29:30Z","_id":"8340"}