Parallel program design: a foundation
Parallel program design: a foundation
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
Model-based run-time monitoring of end-to-end deadlines
Proceedings of the 5th ACM international conference on Embedded software
Efficient exploration of service-oriented architectures using aspects
Proceedings of the 28th international conference on Software engineering
Automating software architecture exploration with M2Aspects
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Modelling concurrent interactions
Theoretical Computer Science - Algebraic methodology and software technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Aspect-oriented modeling approach to define routing in enterprise service bus architectures
Proceedings of the 2008 international workshop on Models in software engineering
Mining Scenario-Based Triggers and Effects
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Synthesizing hierarchical state machines from expressive scenario descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Polymorphic Scenario-Based Specification Models: Semantics and Applications
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Combining Sequence Diagrams and OCL for Liveness
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying service-oriented development to complex systems: BART case study
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Model-based failure management for distributed reactive systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Scenario-based and value-based specification mining: better together
Proceedings of the IEEE/ACM international conference on Automated software engineering
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Component synthesis from service specifications
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Timed high-level message sequence charts for real-time system design
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Polymorphic scenario-based specification models: semantics and applications
Software and Systems Modeling (SoSyM)
On the realizability of collaborative services
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
Message Sequence Charts (MSCs) and related notations have found wide acceptance for scenario-oriented behavior specifications. However, MSCs lack adequate support for important aspects of interaction modeling, including overlapping interactions, progress/liveness specifications, and preemption. Such support is needed particularly in the context of service-oriented specifications both in the business information and embedded systems domain. In this text, we introduce extensions to the "standard" MSC notation addressing these deficits, and provide a semantic foundation for these extensions