Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Last edited by WorkBot
January 24, 2010 | History

A characterization of merging partial behavioural models 1 edition

A characterization of merging partial behavioural models
Greg Brunet


No readable version available.


You could add A characterization of merging partial behavioural models to a list if you log in.
Alas... There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

A characterization of merging partial behavioural models.

Published 2006 .
Written in English.

About the Book

Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support partial behaviour description and focus on elaborating these descriptions iteratively. Scenario-based specifications, for example, are incrementally elaborated to cover system behaviour that is of interest. However, how should partial behavioural models described by different stakeholders with different viewpoints be composed? How should partial models of component instances of the same type be put together?In this thesis, we use model merging based on observational refinement as a general solution to these questions, where merging consistent models is a process that results in a minimal common refinement. We prove several mathematical characterizations of merging and consistency, study algebraic properties of the merge operator, and give new and improved algorithms related to constructing merge. Finally, we present a case study that illustrates the utility of our results.

Edition Notes

Advisor: M. Chechik.

Source: Masters Abstracts International, Volume: 44-06, page: 2834.

Thesis (M.Sc.)--University of Toronto, 2006.

Electronic version licensed for access by U. of T. users.

ROBARTS MICROTEXT copy on microfiche.

The Physical Object

99 leaves.
Number of pages

ID Numbers

Open Library

History Created December 11, 2009 · 2 revisions Download catalog record: RDF / JSON

January 24, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page