Guest Editorial: Special Section on Interaction and State-Based Modeling.
Saved in:
| Title: | Guest Editorial: Special Section on Interaction and State-Based Modeling. |
|---|---|
| Authors: | Uchitel, Sebastian1 s.uchite@imperial.ac.uk, Broy, Manfred2 broy@in.tum.de, Krüger, Ingoif H.3 ikrueger@cs.ucsd.edu, Whittle, Jon4 jwhittle@Ese.gmu.edu |
| Source: | IEEE Transactions on Software Engineering. Dec2005, Vol. 31 Issue 12, p997-998. 2p. 4 Black and White Photographs. |
| Subjects: | Computer systems, Computer graphics, Web services, Application software, Computer network protocols, Graphic methods, Computers, Computer simulation, Computer networks, Computer drawing |
| Abstract: | The article reflects on various issues discussed within the issue. An article by Y. Bontemps, P. Heymans, and P.Y. Schobbens addresses the theoretical and practical limitations of the scenario-development approach. The paper focuses on complexity and decidability of verification and synthesis within the context of live sequence charts. An article by Braberman, N. Kicillof, and A. Olivero addresses the specification and checking of real-time properties. A novel graphical scenario language is presented which allows the description of complex properties not expressible with sequence chart-like notations. In an article, X. Fu, T. Bultan, and J. Su study the interplay between global interaction modeling and local behavior modeling in the web services domain. The authors show how top-down and bottom-up development of web-services requires careful understanding of issues such as reliability and show that the notion of synchronizability can enable tractable analyses to support such development. The authors also provide insights into the relation between conversation protocols and message sequence charts for which issues such as realizability have been studied extensively. |
| Database: | Engineering Source |
Be the first to leave a comment!
