Communicating sequential processes
Communicating sequential processes
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design and validation of computer protocols
Design and validation of computer protocols
Scenario-based design: envisioning work and technology in system development
Scenario-based design: envisioning work and technology in system development
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
Understanding UML: the developer's guide: with a Web-based application in Java
Understanding UML: the developer's guide: with a Web-based application in Java
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
The unified software development process
The unified software development process
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Deriving performance models of software architectures from message sequence charts
Proceedings of the 2nd international workshop on Software and performance
Formal verification of parallel programs
Communications of the ACM
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Detecting implied scenarios in message sequence chart specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Negative scenarios for implied scenario elicitation
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Automated Support for Modeling OO Software
IEEE Software
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
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
Deciding Properties for Message Sequence Charts
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
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)
An Analyser for Mesage Sequence Charts
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
From Scenarios to Timed Automata: Building Specifications from Users Requirements
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Behaviour model elaboration using partial labelled transition systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
System architecture: the context for scenario-based model synthesis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Engineering distributed software: a structural discipline
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Sensitivity analysis for a scenario-based reliability prediction model
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Resolving Race Conditions in Asynchronous Partial Order Scenarios
IEEE Transactions on Software Engineering
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Synchronizability of Conversations among Web Services
IEEE Transactions on Software Engineering
On relating functional specifications to architectural specifications: a case study
Science of Computer Programming
A scenario based notation for specifying temporal properties
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
A collaboration-based approach to service specification and detection of implied scenarios
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Incremental elaboration for run-time reconfigurable hardware designs
CASES '06 Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems
From multi-modal scenarios to code: compiling LSCs into aspectJ
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Reliability Analysis of Concurrent Systems Using LTSA
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Graphical scenarios for specifying temporal properties: an automated approach
Automated Software Engineering
Lazy buffer semantics for partial order scenarios
Automated Software Engineering
MTSA: Eclipse support for modal transition systems construction, analysis and elaboration
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
Class synthesis from role collaborations
ISEC '08 Proceedings of the 1st India software engineering conference
Existential live sequence charts revisited
Proceedings of the 30th international conference on Software engineering
Failure-free coordinators synthesis for component-based architectures
Science of Computer Programming
A method and tools for large scale scenarios
Automated Software Engineering
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
FM '08 Proceedings of the 15th international symposium on Formal Methods
Journal of Systems and Software
Controller Synthesis from LSC Requirements
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Analyzing critical process models through behavior model synthesis
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Analyzing singularity channel contracts
Proceedings of the eighteenth international symposium on Software testing and analysis
Synthesizing partial component-level behavior models from system specifications
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A rigorous architectural approach to adaptive software engineering
Journal of Computer Science and Technology
A study on the replaceability of context-aware middleware
Proceedings of the First Asia-Pacific Symposium on Internetware
Requirements analysis using similar sequence diagrams
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Synthesizing hierarchical state machines from expressive scenario descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Transforming use case models to class models and OCL-specifications
International Journal of Computers and Applications
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Model checking of UML 2.0 interactions
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Using implied scenarios in security testing
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Towards behavior elaboration and synthesis using modes
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Experimental study on fighters behaviors mining
Expert Systems with Applications: An International Journal
Analysing message sequence graph specifications
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
ACM Transactions on Software Engineering and Methodology (TOSEM)
Leveraging existing instrumentation to automatically infer invariant-constrained models
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Deciding choreography realizability
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formalizing collaboration goal sequences for service choreography
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Using scenarios to predict the reliability of concurrent component-based software systems
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Reliability prediction in model-driven development
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
FM'06 Proceedings of the 14th international conference on Formal Methods
Model-Based design of concurrent programs
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Architecture-level reliability prediction of concurrent systems
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Achieving closed-loop control simulation of human-artefact interaction: a comparative review
Modelling and Simulation in Engineering
Checking the realizability of BPMN 2.0 choreographies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A framework for pathologies of message sequence charts
Information and Software Technology
Towards cost-aware service recovery
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
On the realizability of collaborative services
Software and Systems Modeling (SoSyM)
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reliability prediction through system modeling
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Behavior modeling has proved to be successful in helping uncover design flaws of concurrent and distributed systems. Nevertheless, it has not had a widespread impact on practitioners because model construction remains a difficult task and because the benefits of behavior analysis appear at the end of the model construction effort. In contrast, scenario-based specifications have a wide acceptance in industry and are well suited for developing first approximations of intended behavior; however, they are still maturing with respect to rigorous semantics and analysis tools.This article proposes a process for elaborating system behavior that exploits the potential benefits of behavior modeling and scenario-based specifications yet ameliorates their shortcomings. The concept that drives the elaboration process is that of implied scenarios. Implied scenarios identify gaps in scenario-based specifications that arise from specifying the global behavior of a system that will be implemented component-wise. They are the result of a mismatch between the behavioral and architectural aspects of scenario-based specifications. Due to the partial nature of scenario-based specifications, implied scenarios need to be validated as desired or undesired behavior. The scenario specifications are then updated accordingly with new positive or negative scenarios. By iteratively detecting and validating implied scenarios, it is possible to incrementally elaborate the behavior described both in the scenario-based specification and models. The proposed elaboration process starts with a message sequence chart (MSC) specification that includes basic, high-level and negative MSCs. Implied scenario detection is performed by synthesis and automated analysis of behavior models. The final outcome consists of four artifacts: (1) an MSC specification that has been evolved from its original form to cover important aspects of the concurrent nature of the system that were under-specified or absent in the original specification, (2) a behavior model that captures the component structure of the system that, combined with (3) a constraint model and (4) a property model that provides the basis for modeling and reasoning about system design.