{"date_updated":"2022-01-06T07:03:53Z","author":[{"full_name":"Engels, Gregor","last_name":"Engels","id":"107","first_name":"Gregor"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"full_name":"Groenewegen, Luuk","last_name":"Groenewegen","first_name":"Luuk"}],"status":"public","language":[{"iso":"eng"}],"_id":"8340","year":"2000","page":"44-49","type":"conference","issue":"0006","publication":"Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)","date_created":"2019-03-05T13:29:30Z","title":"Modeling Concurrent Behavior through Consistent Statechart Views","department":[{"_id":"66"}],"publisher":"Ludwig-Maximilians-University","place":"Munich (Germany)","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.","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.","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} }","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.","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.","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."},"user_id":"52534","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"}]}