Tutorial on message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
SIAM Journal on Computing
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Concurrent programming in ML
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
JMOCHA: a model checking tool that exploits design structure
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Distributed Algorithms
Database Management Systems
Concurrent Programming in Java. Second Edition: Design Principles and Patterns
Concurrent Programming in Java. Second Edition: Design Principles and Patterns
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
MESA: Support for Scenario-Based Design of Concurrent Systems
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Deciding Properties for Message Sequence Charts
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
IEEE Transactions on Computers
Visual Specifications for Modular Reasoning about Asynchronous Systems
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Compactly representing parallel program executions
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Semantics of Deterministic Shared-Memory Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
MSO Logic for Unambiguous Shared-Memory Systems
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Hi-index | 0.00 |
Scenario-based specifications offer an intuitive and visualway of describing design requirements of distributedsoftware systems. For the communication paradigm basedon messages, message sequence charts (MSC) offer a standardizedand formal notation amenable to formal analysis.In this paper, we define shared variables interaction diagrams(SVID) as the counterpart of MSCs when processescommunicate via shared variables. After formally definingSVIDs, we develop an intuitive as well as formal definitionof refinement for SVIDs. This notion provides a basis forsystematically adding details to SVID requirements.