Results 211 to 220 of about 35,955 (232)

Regular Collections of Message Sequence Charts

2000
Message Sequence Charts (MSCs) are an attractive visual formalism used during the early stages of design in domains such as telecommunication software. A popular mechanism for generating a collection of MSCs is a Hierarchical Message Sequence Chart (HMSC).
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan   +3 more
openaire   +1 more source

Recognizable Sets of Message Sequence Charts

2002
High-level Message Sequence Charts are a well-established formalism to specify scenarios of communications in telecommunication protocols. In order to deal with possibly unbounded specifications, we focus on star-connected HMSCs. We relate this subclass with recognizability and MSO-definability by means of a new connection with Mazurkiewicz traces. Our
openaire   +1 more source

Enhancing Message Sequence Charts with Spatial Knowledge

Pacific-Asia Conference on Knowledge Discovery and Data Mining
Nitin Ramrakhiyani, Sachin Sharad Pawar, G. Palshikar, Vasudeva Varma   +3 more
semanticscholar   +1 more source

From Textual Use Cases to Message Sequence Charts

, 2012
Mingyue Jiang, Zuohua Ding
semanticscholar   +1 more source

From Message Sequence Charts to Service Component Model

, 2012
Mingyue Jiang, Zuohua Ding
semanticscholar   +1 more source

Symbolic Message Sequence Charts

ACM Transactions on Software Engineering and Methodology, 2012
Abhik Roychoudhury, Bikram Sengupta
exaly  

Regular sets of infinite message sequence charts

Information and Computation, 2003
Dietrich Kuske
exaly  

Realizability of high-level message sequence charts: closing the gaps

Theoretical Computer Science, 2003
Markus Lohrey
exaly  

A hierarchy of communication models for Message Sequence Charts

Science of Computer Programming, 2002
Sjouke Mauw, Michel Reniers
exaly  

Message Sequence Charts

2003
David Harel, P S Thiagarajan, Harel David   +2 more
exaly