Title | ||
---|---|---|
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems |
Abstract | ||
---|---|---|
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-object interactions. Synthesizing intra-object executable specifications from an MSC-based description is a non-trivial task. Here we present a model of computation called Communicating Transaction Processes (CTP) based on MSCs from which an executable specification can be extracted in a straightforward manner. Our model describes a network of communicating processes in which the processes interact via common action labels. Each action is a non-atomic interaction described as a, guarded choice of MSCs. Thus our model achieves a separation of concerns: the high-level network of processes depicting intra-process computations and control flow, while the common non-atomic communication actions capture inter-process interaction via MSCs. We show how to extract an ordinary Petri net from a CTP model thereby leading to a standard operational semantics. We also discuss the connection of our formalism to Live Sequence Charts, an extension of MSCs which also has an executable semantics. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/978-3-540-27755-2_22 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
control flow,message sequence chart,embedded system,transaction processing,separation of concern,operational semantics,model of computation,petri net | Operational semantics,Petri net,Computer science,Control flow,Separation of concerns,Model of computation,Semantics,Executable,Computation,Distributed computing | Conference |
Volume | ISSN | Citations |
3098 | 0302-9743 | 2 |
PageRank | References | Authors |
0.41 | 16 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Abhik Roychoudhury | 1 | 2449 | 122.18 |
P.S. Thiagarajan | 2 | 104 | 22.97 |