License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-8633
URL: http://drops.dagstuhl.de/opus/volltexte/2007/863/

Jackson, Michael

Structural Relationships among Models

pdf-format:
Dokument 1.pdf (70 KB)


Abstract

The basis of a problem-oriented view of software-intensive systems is the recognition of three fundamental roles to be played by models in a development: R, the requirement; W, the given properties of the problem world; and S, the specification of the machine's behaviour at its interface with the problem world. These are (ideally) related by the entailment S,W |= R. Decomposition of a problem into subproblems is analogous (but not identical) to decomposition of a system into components. A subproblem has R, W and S, its machine interacting with a subset of the problem world. Conceptually, subproblems are initially considered in isolation, composition concerns being deferred. Composition of subproblems involves relationships among all three of their models R, W and S; in general different subproblems use different models, even of the same parts of the problem world. Problem world properties are not in general compositional. Relationships among subproblems, and hence among their models, may be complex.

BibTeX - Entry

@InProceedings{jackson:DSP:2007:863,
  author =	{Michael Jackson},
  title =	{Structural Relationships among Models},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  year =	{2007},
  editor =	{Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  number =	{06351},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2007/863},
  annote =	{Keywords: Composition, model, problem, requirement, specificaiton, structure, subproblem}
}

Keywords: Composition, model, problem, requirement, specificaiton, structure, subproblem
Seminar: 06351 - Methods for Modelling Software Systems (MMOSS)
Issue date: 2007
Date of publication: 11.04.2007


DROPS-Home | Fulltext Search | Imprint Published by LZI