Pattern matching and membership for hierarchical message sequence charts

DOI10.1007/3-540-45995-2_31MaRDI QIDQ3044337zbMATH OpenFDO

Authors Blaise Genest, Anca Muscholl

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2286/22860326.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Pattern matching and membership for hierarchical message sequence charts
• A hierarchy of communication models for message sequence charts
• Regular collections of message sequence charts (extended abstract)
• A theory of regular MSC languages
• Compositional message sequence charts

Cited in

(4)

• Bounded MSC communication
• Infinite-state high-level MSCs: model-checking and realizability
• Unification with Singleton Tree Grammars
• Pattern matching and membership for hierarchical message sequence charts

This page was built for publication: Pattern matching and membership for hierarchical message sequence charts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3044337)