Views on Behaviour Protocols and Their Semantic Foundation Export

@incollection{citeulike:5882228, abstract = {We consider UML protocol state machines where states are annotated with invariants and transitions are labelled with pre- and postconditions of operations. We claim that the meaning of a protocol strongly depends on the role in which the protocol is actually used. In our study we distinguish three different views on protocols: The user's and the implementor's perspective, which both are inspired by the contract principle, and an interaction perspective which focuses on collaborations. For each view we define a model-theoretic semantics based on labelled transition systems and simulation relations integrating control flow and the evolution of data states. Our approach is compositional in the sense that correct user and implementation models can be composed to a correct interaction model. Moreover, we define a refinement relation for protocols which retains our compositionality results.}, author = {Bauer, Sebastian and Hennicker, Rolf}, citeulike-article-id = {5882228}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-642-03741-2_25}, citeulike-linkout-1 = {http://www.springerlink.com/content/9m6288681w11306p}, doi = {10.1007/978-3-642-03741-2_25}, journal = {Algebra and Coalgebra in Computer Science}, keywords = {2009, protocol, refinement, semantics, statecharts}, pages = {367--382}, posted-at = {2009-10-03 19:54:51}, priority = {5}, title = {Views on Behaviour Protocols and Their Semantic Foundation}, url = {http://dx.doi.org/10.1007/978-3-642-03741-2_25}, year = {2009} }

TY - CHAP ID - citeulike:5882228 L3 - citeulike-article-id:5882228 N2 - We consider UML protocol state machines where states are annotated with invariants and transitions are labelled with pre- and postconditions of operations. We claim that the meaning of a protocol strongly depends on the role in which the protocol is actually used. In our study we distinguish three different views on protocols: The user’s and the implementor’s perspective, which both are inspired by the contract principle, and an interaction perspective which focuses on collaborations. For each view we define a model-theoretic semantics based on labelled transition systems and simulation relations integrating control flow and the evolution of data states. Our approach is compositional in the sense that correct user and implementation models can be composed to a correct interaction model. Moreover, we define a refinement relation for protocols which retains our compositionality results. JF - Algebra and Coalgebra in Computer Science EP - 382 TI - Views on Behaviour Protocols and Their Semantic Foundation SP - 367 KW - 2009 KW - protocol KW - refinement KW - semantics KW - statecharts AU - Bauer, Sebastian AU - Hennicker, Rolf PY - 2009/// UR - http://dx.doi.org/10.1007/978-3-642-03741-2_25 ER -