AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |
Back to Blog
Protocol message sequence diagram11/8/2023 Haugen, Ø.: MSC-2000 interaction diagrams for the new millennium. In: Formal Description Tecniques and Protocol Specification, Testing and Verification, pp. Kluwer Academic Publishers, Dordrecht (1999)Įngels, A., Mauw, S., Reniers, M.A.: A hierarchy of communication models for message sequence charts. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), pp. North-Holland, Amsterdam (1995)ĭamm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Springer, Heidelberg (2001)Ĭombes, P., Pickin, S., Renard, B., Olsen, F.: MSCs to express service requirements as properties on an SDL model: Application to service interaction detection. This process is experimental and the keywords may be updated as the learning algorithm improves.īroy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. These keywords were added by machine and not by the authors. We argue that such traces give the necessary expressiveness to capture the standard UML interpretation of sequence diagrams as well as the black-box interpretation found in classical formal methods. A trace is a sequence of three kinds of events: events for transmission, reception and consumption. The resulting approach, referred to as Timed STAIRS, is formally underpinned by denotational trace semantics. The proposed extension is especially useful when describing time constraints. In order to express the necessary distinction between black-box and glass-box refinement, an extension of the semantic framework with three event messages is introduced. STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior.
0 Comments
Read More
Leave a Reply. |