King's College London

Research portal

Model Projection: Simplifying Models in Response to Restricting the Environment

Research output: Chapter in Book/Report/Conference proceedingConference paper

Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li

Original languageEnglish
Title of host publication2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)
Place of PublicationNEW YORK
PublisherIEEE
Pages291-300
Number of pages10
ISBN (Print)9781450304450
DOIs
Publication statusPublished - 2011
Event33rd International Conference on Software Engineering (ICSE) - Honolulu
Duration: 21 May 201128 May 2011

Conference

Conference33rd International Conference on Software Engineering (ICSE)
CityHonolulu
Period21/05/201128/05/2011

King's Authors

Abstract

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.

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454