Abstract
So far, our focus has been on vertical refinement, i.e. the development of a fine-grained specification out of a more abstract one. Especially in the field of UML, however, a second kind of refinement is of particular interest: horizontal or intra-model refinement. Horizontal refinement deals with the consistency between different description means on the same level of abstraction.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Hilken, C., Seiter, J., Wille, R., Kühne, U., Drechsler, R.: Verifying consistency between activity diagrams and their corresponding OCL contracts. In: Forum on specification and Design Languages (2014)
Chanda, J., Kanjilal, A., Sengupta, S., Bhattacharya, S.: Traceability of requirements and consistency verification of uml usecase, activity and class diagram: a formal approach. In: Methods and Models in Computer Science (2009)
Rasch, H., Wehrheim, H.: Checking consistency in uml diagrams: classes and state machines. In: Formal Methods for Open Object-Based Distributed Systems (2003)
Paige, R.F., Brooke, P.J., Ostroff, J.S.: Metamodel-based model conformance and multiview consistency checking. Softw. Eng. Methodol. 16, B1–B49 (2007)
Li, X., Hoover, J., Rudnicki, P.: Towards automatic exception safety verification. In: Formal Methods, pp. 396–411. Springer, Heidelberg (2006)
Ireland, A., Stark, J.: On the automatic discovery of loop invariants. In: NASA Conference Publication, pp. 137–152 (1997)
Soeken, M., Wille, R., Drechsler, R.: Verifying dynamic aspects of UML models. In: Design, Automation and Test in Europe, pp. 1077–1082 (2011)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 The Author(s)
About this chapter
Cite this chapter
Seiter, J., Wille, R., Drechsler, R. (2017). Verification of Horizontal Refinement. In: Automatic Methods for the Refinement of System Models. SpringerBriefs in Electrical and Computer Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-41480-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-41480-5_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-41479-9
Online ISBN: 978-3-319-41480-5
eBook Packages: EngineeringEngineering (R0)