Scenario-based Requirements

Rajeev Alur

Support from NSF award CCR99-70925 (Specification, analysis, and testing of scenario-based requirements) is gratefully acknowledged.
Scenario-based specifications such as message sequence charts offer an intuitive and visual way of describing design requirements. Such specifications focus on message exchanges among communicating entities in distributed software systems. Recent standardization of syntax and semantics (MSC'96 or Z.120) by ITU and integration into modern object-oriented software engineering methodologies such as UML, lead us to believe that scenario-based specifications will play an increasingly important role in design of concurrent systems. This research project aims to develop new language features, methodologies, analysis techniques, and tools for effective use of scenario-based requirements in software design.


Related links

Last updated on August 1999 by Rajeev Alur.