An Algebraic Semantics of Basic Message Sequence Charts | Zendy

Sjouke Mauw | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An Algebraic Semantics of Basic Message Sequence Charts

Author(s) -

Sjouke Mauw

Publication year - 1994

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/37.4.269

Subject(s) - computer science , semantics (computer science) , sequence (biology) , standardization , algebraic semantics , programming language , formal semantics (linguistics) , visualization , operational semantics , process calculus , process (computing) , theoretical computer science , artificial intelligence , genetics , biology , operating system

Message Sequence Charts are a widely used technique for the visualization of the communication between system components. We present a formal semantics of Basic Message Sequence Charts, exploiting techniques from process algebra. This semantics is based on the semantics of the full language as being proposed for standardization in the International Telecommunication Union.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research