Model projection: simplifying models in response to restricting the environment

Androutsopoulos, Kelly ORCID logoORCID:, Binkley, David, Clark, David, Gold, Nicolas, Harman, Mark, Lano, Kevin and Li, Zheng (2011) Model projection: simplifying models in response to restricting the environment. In: Proceedings of the 33rd International Conference on Software Engineering - ICSE '11. ACM, pp. 291-300. ISBN 9781450304450. [Book Section] (doi:10.1145/1985793.1985834)


This paper introduces Model Projection. Finite state models such as Extended Finite State Machines are being used in an ever increasing number of software engineering activities. Model projection facilitates model development by specializing models for a specific operating environment. A projection is useful in many design-level applications including specification reuse and property verification.

The applicability of model projection rests upon three critical concerns: correctness, effectiveness, and efficiency, all of which are addressed in this paper. We introduce four related algorithms for model projection and prove each correct. We also present an empirical study of effectiveness and efficiency using ten models, including widely studied benchmarks as well as industrial models. Results show that a typical projection includes about half of the states and a third of the transitions from the original model.

Item Type: Book Section
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 12072
Useful Links:
Depositing User: Users 3197 not found.
Date Deposited: 27 Sep 2013 08:03
Last Modified: 13 Oct 2016 14:28

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.