Formal definition of measures for UML statechart diagrams using OCL

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Formal definition of measures for UML statechart diagrams using OCL

Full text

Pdf (159 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2008 ACM symposium on Applied computing table of contents

Fortaleza, Ceara, Brazil

POSTER SESSION: Software engineering: poster papers table of contents

Pages 846-847

Year of Publication: 2008

ISBN:978-1-59593-753-7

Authors

Luis Reynoso	University of Comahue, Neuquén, Argentina
Juan Antonio Cruz-Lemus	University of Castilla-La Mancha, Ciudad Real, Spain
Marcela Genero	University of Castilla-La Mancha, Ciudad Real, Spain
Mario Piattini	University of Castilla-La Mancha, Ciudad Real, Spain

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 15, Downloads (12 Months): 62, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1363686.1363880 What is a DOI?

ABSTRACT

The informal definition of a measure in natural language is ambiguous, so it must be accompanied by a precise and formal definition, for avoiding misunderstanding and misinterpretation. In this paper we show the formal definition of measures for UML statechart diagrams using OCL, upon the UML statechart metamodel. The use of a formal definition upon a metamodel (where the main concepts and relationships are modelled) assure that measures capture the concepts they intend for and could facilitate the implementation of measures extraction tools.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Baroni, A. L., Braz, S., Brito e Abreu, F. Using OCL to Formalize Object-Oriented Design Metrics Definitions. In Proceedings of QUAOOSE'2002, Malaga, Spain, 2002.
	2	Lionel C. Briand , Christian Bunse , John W. Daly, A Controlled Experiment for Evaluating Quality Guidelines on the Maintainability of Object-Oriented Designs, IEEE Transactions on Software Engineering, v.27 n.6, p.513-530, June 2001 [doi>10.1109/32.926174 ]
	3	Cruz-Lemus, J. A. A Measurement-Based Approach for Assessing UML Statechart Diagrams Understandability. Ph.D. Thesis. 2007.
	4	Object Management Group. UML 2.0 OCL 2nd revised submission. OMG Document. http://www.omg.org
	5	Object Management Group. UML Specification Version 1.4.2, OMG Document formal04-07-02. http://www.omg.org
	6	Reynoso, L., Genero, M., Piattini, M. OCL2: Using OCL in the Formal Definition of OCL Expression Measures, In Proceedings of the 1st Workshop on Quality in Modeling QIM co-located with the ACM/IEEE MODELs 2006. 2006.
	7	Saeki, M., Kaiya, H. Model Metrics and Metrics of Model Transformation. In Proceedings of 1st Workshop on Quality in Modeling, pp. 31--45, Genova, Italy, Oct. 1, 2006.
	8	Gerson Sunyé , Damien Pollet , Yves Le Traon , Jean-Marc Jézéquel, Refactoring UML Models, Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, p.134-148, October 01-05, 2001