Abstract
Every model has a purpose and the quality of a model ultimately measures its fitness relative to this purpose. In practice, models are created in a piecemeal fashion through the construction of many diagrams that structure a model into parts that together offer a coherent presentation of the content of the model. Each diagram also has a purpose – its role in the presentation of the model - and this determines what part of the model the diagram is intended to present. In this paper, we investigate what is involved in formally characterizing this intended content of diagrams as coverage criteria and show how doing this helps to improve model quality and support automation in the modeling process. We illustrate the approach and its benefits with a case study from the telecommunications industry.
Chapter PDF
Similar content being viewed by others
Keywords
References
Baar, T.: Correctly defined concrete syntax for visual models. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 111–125. Springer, Heidelberg (2006)
Gurr, C.: On the isomorphism, or lack of it, of representations. In: Marriott, K., Meyer, B. (eds.) Visual Language Theory, pp. 293–306. Springer, Heidelberg (1998)
Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.L.: Consistency problems in uml-based software development. In: Jardim Nunes, N., Selic, B., Rodrigues da Silva, A., Toval Alvarez, A. (eds.) UML Satellite Activities 2004. LNCS, vol. 3297, pp. 1–12. Springer, Heidelberg (2005)
Ladkin, P.: Abstraction and modeling, research report RVS-Occ-97-04, University of Bielefeld (1997)
Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomason IV, C., Nordstrom, G., Sprinkle, J., Volgyesi, P.: The Generic Modeling Environment. In: Workshop on Intelligent Signal Processing, May 17 (2001)
MetaEdit+ website, http://www.metacase.com
Methods for Testing and Specification (MTS); Methodological approach to the use of object-orientation in the standards making process. ETSI EG 201 872 V1.2.1 (2001-2008), http://portal.etsi.org/mbs/Referenced%20Documents/eg_201_872.pdf
MOFTM Query / Views / Transformations (QVT) – Final Spec., http://www.omg.org/cgi-bin/doc?ptc/2005-11-01
Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: a consistency checking and smart link generation service. ACM TOIT 2(2), 151–185 (2002)
Nuseibeh, B., Kramer, J., Finkelstein, A.: A Framework for Expressing the Relationships Between Multiple Views in Requirements Specifications. IEEE TSE 20(10), 760–773 (1994)
Salay, R., Mylopoulos, J., Easterbrook, S.: Managing Models through Macromodeling. In: Proc. ASE 2008, pp. 447–450 (2008)
Schauerhuber, A., Schwinger, W., Retschitzegger, W., Wimmer, M.: A Survey on Aspect-Oriented Modeling Approaches (2006), http://wit.tuwien.ac.at/people/schauerhuber
UML 2.0 Metamodel, http://www.omg.org/cgi-bin/apps/doc?ptc/04-10-05.zip
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Salay, R., Mylopoulos, J. (2009). Improving Model Quality Using Diagram Coverage Criteria. In: van Eck, P., Gordijn, J., Wieringa, R. (eds) Advanced Information Systems Engineering. CAiSE 2009. Lecture Notes in Computer Science, vol 5565. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02144-2_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-02144-2_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02143-5
Online ISBN: 978-3-642-02144-2
eBook Packages: Computer ScienceComputer Science (R0)