Communicating sequential processes
Communicating sequential processes
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Scenario-based design: envisioning work and technology in system development
Scenario-based design: envisioning work and technology in system development
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
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
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
The 4+1 View Model of Architecture
IEEE Software
Automated Support for Modeling OO Software
IEEE Software
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
An Analyser for Mesage Sequence Charts
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
From Scenarios to Timed Automata: Building Specifications from Users Requirements
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Analysing the behaviour of distributed software architectures: a case study
FTDCS '97 Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Using scenarios to support traceability
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
From multi-modal scenarios to code: compiling LSCs into aspectJ
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Methodological Review: User-centered semantic harmonization: A case study
Journal of Biomedical Informatics
Towards traceability of model-based testing artifacts
Proceedings of the 3rd international workshop on Advances in model-based testing
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modes for software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
From Timed Reo Networks to Networks of Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide simple, intuitive, example based descriptions of the behaviour of component instances in the context of a simplified architecture instance. The specific architecture instance is generally chosen to provide sufficient context to indicate the expected behaviour of particular instances of component types to be used in the real system. Existing synthesis techniques provide mechanisms for building behaviour models for these simplified and specific architectural settings. However, the behaviour models required are those for the full generality of the system architecture, and not the simplified architecture used for scenarios. In this paper we exploit architectural information in the context of behaviour model synthesis from scenarios. Software architecture descriptions give the necessary contextual information so that component instance behaviour can be generalised to component type behaviour. Furthermore, architecture description languages can be used to describe the complex architectures in which the generalised behaviours need to be instantiated. Thus, architectural information used in conjunction with scenario-based model synthesis can support both model construction and elaboration, where the behaviour derived from simple architecture fragments can be instantiated in more complex ones.