License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.06351.10
URN: urn:nbn:de:0030-drops-8633
Go to the corresponding Portal

Jackson, Michael

Structural Relationships among Models

06351.JacksonMichael.Paper.863.pdf (0.07 MB)


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

  author =	{Jackson, Michael},
  title =	{{Structural Relationships among Models}},
  booktitle =	{Methods for Modelling Software Systems (MMOSS)},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6351},
  editor =	{Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-8633},
  doi =		{10.4230/DagSemProc.06351.10},
  annote =	{Keywords: Composition, model, problem, requirement, specificaiton, structure, subproblem}

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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI