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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1145/1985793.1985834 | Software Engineering |
Keywords | Field | DocType |
finite state machines,program verification,software reusability,design level applications,environment restriction,extended finite state machines,finite state models,industrial models,model projection,model simplification,property verification,software engineering activities,specification reuse,extended finite state machines,model projection,slicing | Operating environment,Unified Modeling Language,Computer science,Reuse,Slicing,Correctness,Finite-state machine,Theoretical computer science,Software architecture,Empirical research | Conference |
ISSN | ISBN | Citations |
0270-5257 E-ISBN : 978-1-4503-0445-0 | 978-1-4503-0445-0 | 18 |
PageRank | References | Authors |
0.80 | 20 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Androutsopoulos, K. | 1 | 18 | 0.80 |
Binkley, D. | 2 | 19 | 1.24 |
David M. Clark | 3 | 153 | 16.33 |
Gold, N. | 4 | 18 | 0.80 |