Consistent Interaction Of Software Components

  • Authors:

  • Gregor Engels;Jochen M. Küuster;Luuk Groenwegen

  • Affiliations:

  • Department of Computer Science, University of Paderborn, D-33095 Paderborn, Germany. engels@upb.de, jkuester@upb.de;Department of Computer Science, University of Paderborn, D-33095 Paderborn, Germany. engels@upb.de, jkuester@upb.de;Leiden Institute of Advanced Computer Studies, Leiden University, P.O. Box 9512, NL-2300 RA Leiden, The Netherlands. luuk@liacs.nl

  • Venue:
  • Journal of Integrated Design & Process Science - Component-Based System Development
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Constructing complex software systems by integrating different software components is a promising and challenging approach. With the functionality of software components given by models it is possible to ensure consistency of such models before implementation in order to successfully build the system. Models consisting of different submodels, the absence of an overall formal semantics and the numerous possibilities of employing models requires the development of techniques ensuring the consistency. In this paper, we discuss the issue of consistency of models made up of different submodels proposing a concept for the management of consistency. Consistency management relies on a consistency concept and a process for ensuring consistency of models. We introduce a consistency concept for software components modeled in the Unified Modeling Language (UML) and devise suitable consistency checks. On this basis, we propose a process how to locate and resolve inconsistencies, thus ensuring the consistency of models and by that the consistency of component-based systems derived from those models.