✦ LIBER ✦

Specification and Verification using Message Sequence Charts

✍ Scribed by Doron Peled

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 125 KB
Volume: 65
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80484-5

No coin nor oath required. For personal study only.

✦ Synopsis

Message sequence charts is a notation used in practice by protocol designers and system engineers. In this survey, some of the recent results related to this notation, in the context of specification and automatic verification of communication protocols, are presented.

📜 SIMILAR VOLUMES

A method of designing communication serv

A method of designing communication service specifications using message sequence charts

✍ Osamu Mizuno; Yoshihiro Niitsu 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 943 KB

## Abstract A new specification design method for describing communication services is developed. This method describes service specifications in sequence charts and provides a user‐friendly man‐machine interface and specification conversion function. Applying this method to actual specification de

Formal Techniques for Analysing Scenario

Formal Techniques for Analysing Scenarios using Message Sequence Charts

✍ Purandar Bhaduri; R. Venkatesh; Girish K. Palshikar 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 197 KB

Formalizing and Executing Message Sequen

Formalizing and Executing Message Sequence Charts via Timed Rewriting

✍ P. Kosiuczenko; M. Wirsing 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 56 KB

Formal hardware specification and verifi

Formal hardware specification and verification using prolog

✍ Z. Brezočnik; B. Horvat 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 652 KB

Specification and verification of multim

Specification and verification of multimedia synchronization scenarios using time-Estelle

✍ Tony Tsang; Richard Lai 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 202 KB

Multimedia synchronization scenario modelling can be classified into four categories: axes-based model; synchronization point control; event-based model; and interval-based model. 1 Existing formal languages do not support the specifications and verifications of all these four categories of synchron

Specification and Verification of Agent

Specification and Verification of Agent Interaction using Social Integrity Constraints

✍ Marco Alberti; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 223 KB

In this paper we propose a logic-based social approach to the specification and verification of agent interaction. We firstly introduce integrity constraints about social acts (called Social Integrity Constraints) as a formalism to express interaction protocols and to give a social semantics to the