MetaFrame in Practice: Design of Intelligent Network Services

Bernhard Steffen; Tiziana Margaria

doi:10.1007/3-540-48092-7_17

MetaFrame in Practice: Design of Intelligent Network Services

Bernhard Steffen
, Tiziana Margaria

TU Dortmund University

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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 con-sistency 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.

Original language	English
Title of host publication	Correct System Design
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	390-415
Number of pages	26
DOIs	https://doi.org/10.1007/3-540-48092-7_17
Publication status	Published - 1999
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science
Volume	1710 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Global Constraint
Incremental Formalization
Intelligent Network
Model Checker
Service Logic

Access to Document

10.1007/3-540-48092-7_17

Cite this

@inbook{97ea4a21c127415b88cf7491a6e600c7,

title = "MetaFrame in Practice: Design of Intelligent Network Services",

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 con-sistency 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.",

keywords = "Global Constraint, Incremental Formalization, Intelligent Network, Model Checker, Service Logic",

author = "Bernhard Steffen and Tiziana Margaria",

year = "1999",

doi = "10.1007/3-540-48092-7\_17",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "390--415",

booktitle = "Correct System Design",

}

TY - CHAP

T1 - MetaFrame in Practice

T2 - Design of Intelligent Network Services

AU - Steffen, Bernhard

AU - Margaria, Tiziana

PY - 1999

Y1 - 1999

N2 - 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 con-sistency 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.

AB - 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 con-sistency 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.

KW - Global Constraint

KW - Incremental Formalization

KW - Intelligent Network

KW - Model Checker

KW - Service Logic

UR - https://www.scopus.com/pages/publications/105046607787

U2 - 10.1007/3-540-48092-7_17

DO - 10.1007/3-540-48092-7_17

M3 - Chapter

AN - SCOPUS:105046607787

T3 - Lecture Notes in Computer Science

SP - 390

EP - 415

BT - Correct System Design

PB - Springer Science and Business Media Deutschland GmbH

ER -

MetaFrame in Practice: Design of Intelligent Network Services

Abstract

Publication series

Keywords

Access to Document

Other files and links

Fingerprint

Cite this