An executable specification language based on message sequence charts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2757, Issue , 2003, Pages 226-241

  Roychoudhnry, Abhik ^a   Thiagarajan, P S ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

BEHAVIORAL DIAGRAMS; BEHAVIORAL FEATURES; EARLY DESIGN STAGES; EXECUTABLE SPECIFICATION LANGUAGES; EXECUTABLE SPECIFICATIONS; MESSAGE SEQUENCE CHARTS; TELECOMMUNICATION PROTOCOLS; TRANSACTION PROCESS;

FLOWCHARTING;

EID: 33847731299     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (22)

1. R. Alur, G.J. Holzmann, and D.A. Peled. An analyzer for message sequence charts. In International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), LNCS 1055, 1996.
2. R. Alur and M. Yannakakis. Model checking of message sequence charts. In International Conference on Concurrency Theory (CONCUR), LNCS 1664, 1999.
3. ARM Limited. AMBA On-chip Bus Specification, 1999.
4. G. Booch, I. Jacobsen, and J. Rumbaugh. Unified Modeling Language for Object-oriented development. Rational Software Corporation, 1996.
5. Codesign, Simulation and Synthesis (COSY) project. Generic Interface Modules for PI-Bus, 2001.
6. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1), 2001.
7. B.P. Douglass. Doing Hard Time: Developing Real-time Systems using UML, Objects, Frameworks and Patterns. Addison-Wesley, 1999.
8. D. Harel. Statecharts: A visual formalism for complex ystems. Science of Computer Programming, 8, 1987.
9. D. Harel and H. Kugler. From play-in scenarios to code: An achievable dream. In Fundamental Approaches to Software Engineering (FASE), LNCS 1783, 2000.
10. D. Harel and H. Kugler. Synthesizing state-based object systems from LSC specifications. In International Conference on Implementation and Applications of Automata (CIAA), LNCS 2088, 2001.
11. D. Harel, H. Kugler, R. Marelly, and A. Pnueli. Smart play-out of behavioral requirements. Technical report, Weizmann Institute of Science, 2002.
12. D. Harel and R. Marelly. Specifying and executing behavioral requirements: The play-in/play-out apprroach. Technical report, Weizmann Institute of Science, 2001.
13. J.G. Hendriksen, M. Mukund, K.N. Kumar, and P.S. Thiagarajan. Message sequence graphs and finitely generated regular MSC languages. In International Colloquium on Automata, Languages and Programming (ICALP), LNCS 1853, 2000.
14. J.G. Hendriksen, M. Mukund, K.N. Kumar, and P.S. Thiagarajan. Regular collections of message sequence charts. In Mathematical Foundations of Computer Science (MFCS), LNCS 1893, 2000.
15. I. Krueger, R. Grosu, P. Scholz, and M. Broy. From MSCs to statecharts. In International Workshop on Distributed and Parallel Embedded Systesms (DIPES), 1998.
16. S. Leue, L. Mehrmann, and M. Ressi. Synthesizing ROOM models from message sequence chart specifications. Technical report, University of Waterloo, Tech Report 98-06, 1998.
17. P. Madhusudan. Reasoning about sequential and branching behaviours of message sequence graphs. In International Colloquium on Automata, Languages and Programming (ICALP), LNCS 2076, 2001.
18. A. Muscholl and D.A. Peled. Deciding properties of message sequence charts. In Foundations of Software Science and Computation Structures(FoSSaCS), 1998.
19. A. Muscholl and D.A. Peled. Message sequence graphs and decision problems on Mazurkiewicz traces. In Mathematical Foundations of Computer Science(MFCS), LNCS 1672, 1999.
20. A. Muscholl and D.A. Peled. From finite state communication protocols to high-level message sequence charts. In International Colloquium on Automata, Languages and Programming (ICALP), LNCS 2076, 2001.
21. A. Roychoudhury and P.S. Thiagarajan. Communicating transaction processes. Technical report, National University of Singapore, 2002.
22. Z.120. Message Sequence Charts (MSC'96), 1996.