Jo~ao Ara'ujo. Formalizing sequence diagrams. In Luis Andrade, Ana Moreira, Akash Deshpande, and Stuart Kent, editors, Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How?, 1998.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Uml (relying upon a well defined metamodel [7] is quite well established, the fuzzyness of its dynamic semantics is now seen as a major drawback hampering its use for critical software systems, where there is a strong emphasis on validation. This point has recently been given a lot of attention [10, 6, 14, 11, 12, 1], building on many other efforts to give a formal semantics to some Uml aspects (Statecharts [15] MSC etc. taken in isolation. But there is still the challenge of giving Uml a global dynamic semantics, fully taking into account all its dynamic diagrams combined with the composability and ....

Jo~ao Ara'ujo. Formalizing sequence diagrams. In Luis Andrade, Ana Moreira, Akash Deshpande, and Stuart Kent, editors, Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How?, 1998.

....it is taken by the receiver process. A prominent formalism to model this kind of systems are Message Sequence Charts (MSCs) 9] They are standardised, can be denoted textually as well as graphically, and are often employed in industry. Furthermore, they are quite similar to UML s sequence charts [3]. A message sequence chart de nes a set of processes and a set of communication actions between these processes. In the visual presentation of an MSC, processes are drawn as vertical lines. A labelled arrow from one line to a second line corresponds to the communication event of sending the label ....

Jo~ao Araujo. Formalizing sequence diagrams. In Luis Andrade, Ana Moreira, Akash Deshpande, and Stuart Kent, editors, Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How?, volume 33, 10 of ACM SIGPLAN Notices, New York, 1998. ACM Press.

....the receiver process takes it out. A prominent formalism to model this kind of systems are message sequence charts (MSCs) 11] They are standardised, can be denoted textually as well as graphically, and are often employed in industry. Furthermore, they are quite similar to UML s sequence charts [4]. An MSC de nes a set of processes and a set of communication actions between these processes. In a visual presentation of an MSC, processes are drawn as vertical lines. A labelled arrow from one line to a second line corresponds to the communication event of sending the label value from the rst ....

Jo~ao Araujo. Formalizing sequence diagrams. In Luis Andrade, Ana Moreira, Akash Deshpande, and Stuart Kent, editors, Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How?, volume 33, 10 of ACM SIGPLAN Notices, New York, 1998. ACM Press.

....of UML (relying upon a well dened meta model [8] is quite well established, the fuzzyness of its dynamic semantics is now seen as a major drawback hampering its use for critical software systems, where there is a strong emphasis on validation. This point has recently been given a lot of attention [13, 7, 17, 14, 18, 15, 2], building on many other eoeorts to give a formal semantics to some UML aspects (StateCharts [19] MSC etc. taken in isolation. But there is still the challenge of giving UML a global dynamic semantics, fully taking into account all its dynamic diagrams combined with the composability and ....

Jo#o Ara#jo. Formalizing sequence diagrams. In Luis Andrade, Ana Moreira, Akash Deshpande, and Stuart Kent, editors, Proceedings of the OOPSLA'98 Workshop on Formalizing UML. Why? How?, 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC