The ASM Method for Controllable Development of Software-Based Systems

tele-TASK-Aufzeichnung des Vortrags

We survey a system design and analysis method that within a single precise yet simple conceptual framework supports and integrates the major software life cycle activities and the principal modeling and analysis techniques.
The key is modeling with Abstract State Machines (ASMs) through the entire software developments cycle, namely by linking ASM "ground models" seamlessly to executable code and its maintenance via ASM-refinement-driven design and analysis.
Ground models, in the International Technology Roadmap for Semiconductors also called golden models, are accurate concise high-level system blueprints (system contracts), which are formulated in domain-specific terms and represent the requirements in an application-oriented language that can be understood by all stakeholders.
ASM refinements are an extension of Wirth's and Dijkstra's refinement concept. They support architectural and component design, reflecting modular techniques for accurately crossing system design levels in a way which makes the transformation of ground models by piecemeal, systematically documented detailing of abstract models to code controllable and well documental for inspection, reuse and maintenance.
The ASM method has been successfully used in a number of industrial projects (in particular at IBM, Siemens, Microsoft and SAP) and of standardization efforts (e.g. at ISO, IEEE, ITU, ECMA) as well as in a great variety of research projects on design and analysis (covering both validation and verification) of architectures, languages, compilers, control systems, protocols, web services, etc. We illustrate the method by a ground model construction for a web service mediator and some fundamental web service interaction patterns.

Sprache:    Englisch
Gastgeber: Prof. Dr. Christoph Meinel
Ort:           HS 2 
Datum:      Mittwoch, 17. Mai, 2006
Zeit:          15:00