Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
Property-Driven Scenario Integration

Conference Paper

Author:Jewgenij Botaschanjan and Alexander Harhurin
Conference:7th IEEE International Conference on Software Engineering and Formal Methods (SEFM)
Month:nov
Publisher:IEEE Computer Society
Year:2009
Abstract:Scenario-based specifications have gained wide acceptance in equirements engineering. However, scenarios are not appropriate to describe global, system-wide invariants. Thus, a specification often consists of scenarios and universal properties. In order to obtain a consistent specification, the scenarios must be integrated in a way which does not violate the properties. However, manual integration of scenarios is an error-prone and laborious process. In the presented paper we suggest a synthesis algorithm for automatic integration of system scenarios to an overall specification with guaranteed satisfaction of system-wide safety properties. The main idea is to compute inter-scenario priorities, which disable certain scenarios if they violate a property.
 
BibTeX

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact