Model Projection: Simplifying Models in Response to Restricting the Environment

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. The authors introduce four related algorithms for model projection and prove each correct.

Provided by: Association for Computing Machinery Topic: Software Date Added: May 2011 Format: PDF

Find By Topic