METAFrame in Practice: Design of Intelligent Network Services

Authors:
Bernhard Steffen;Tiziana Margaria
Affiliations:
-;-
Venue:
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Year:
1999

Citing 6
Cited 6

Communication and Concurrency

Communication and Concurrency
Modeling Reactive Systems with Statecharts: The Statemate Approach

Modeling Reactive Systems with Statecharts: The Statemate Approach
Automatic Error Location for IN Service Definition

ACoS '98/VISUAL '98, AIN '97 Selected papers on Services and Visualization: Towards User-Friendly Design
Formal Methods and Social Context in Software Development

TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Incremental Formalization

AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
A formal requirements engineering method for specification, synthesis, and verification

SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)

Library-Based Design and Consistency Checking of System-Level Industrial Test Cases

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Model Generation by Moderated Regular Extrapolation

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Demonstration of an Automated Integrated Test Environment for Web-Based Applications

Proceedings of the 9th International SPIN Workshop on Model Checking of Software
From the How to the What

Verified Software: Theories, Tools, Experiments
Run-time agents as a means of reconciling flexibility and scalability of services

WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
Service-Oriented design: the roots

ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present MetaFrame, an environment for formal methods-based, application-specific software design. Characteristic for MetaFrame are the following features: library-based development, meaning software construction by combination of components on a coarse granular level, incremental formalization, through successive enrichment of a special-purpose development environment, and library-based consistency checking, allowing continuous verification of application- and purpose-specific properties by means of model checking. These features and their impact for application developers and end users will be illustrated along an industrial application, the design of intelligent network (IN) services.