System architecture: the context for scenario-based model synthesis

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 tha...

• Type: Conference
• Year: 2004
• Where: SIGSOFT
• Authors: Jeff Kramer, Jeff Magee, Robert Chatley, Sebastián Uchitel
• Keywords: Behaviour Model Synthesis, Component Instance Behaviour, SIGSOFT 2004, Simplified Architecture Instance, Software Engineering