A Formal Approach to Heterogeneous Software Modeling.

Egyed, Alexander; Medvidovic, Nenad

doi:10.1007/3-540-46428-X_13

A Formal Approach to Heterogeneous Software Modeling.

by Alexander Egyed, Nenad Medvidovic

Abstract:

The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, â€œimprovedâ€� models. Examples of such models are architectural, design, structural, behavioral, and so forth. Each software model is intended to highlight a particular view of a desired system. A combination of multiple models is needed to represent and understand the entire system. Ensuring that the various models used in development are consistent relative to each other thus becomes a critical concern. This paper presents an approach that integrates and ensures the consistency across an architectural and a number of design models. The goal of this work is to combine the respective strengths of a powerful, specialized (architecture-based) modeling approach with a widely used, general (design-based) approach. We have formally addressed the various details of our approach, which has allowed us to construct a large set of supporting tools to automate the related development activities. We use an example application throughout the paper to illustrate the concepts.

Reference:

Alexander Egyed, Nenad Medvidovic, "A Formal Approach to Heterogeneous Software Modeling.", pp. 178-192, 2000.

Bibtex Entry:

@Conference{DBLP:conf/fase/EgyedM00,
  Title                    = {A Formal Approach to Heterogeneous Software Modeling.},
  Author                   = {Alexander Egyed and Nenad Medvidovic},
  Booktitle                = {3rd International Conference on Foundational Aspects of Software Engineering (FASE), Berlin, Germany},
  Year                     = {2000},
  Pages                    = {178-192},

  Abstract                 = {The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, â€œimprovedâ€� models. Examples of such models are architectural, design, structural, behavioral, and so forth. Each software model is intended to highlight a particular view of a desired system. A combination of multiple models is needed to represent and understand the entire system. Ensuring that the various models used in development are consistent relative to each other thus becomes a critical concern. This paper presents an approach that integrates and ensures the consistency across an architectural and a number of design models. The goal of this work is to combine the respective strengths of a powerful, specialized (architecture-based) modeling approach with a widely used, general (design-based) approach. We have formally addressed the various details of our approach, which has allowed us to construct a large set of supporting tools to automate the related development activities. We use an example application throughout the paper to illustrate the concepts.},
  Doi                      = {10.1007/3-540-46428-X_13},
  File                     = {A Formal Approach to Heterogeneous Software Modeling:Conferences\\FASE 2000 - A Formal Approach to Heterogeneous Software Modeling\\A Formal Approach to Heterogeneous Software Modeling.pdf:PDF},
  Keywords                 = {consistency}
}