Verifying metamodel coverage of model transformations

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2006, Issue , 2006, Pages 273-282

  Wang, Junhua ^a   Kim, Soon Kyeong ^a   Carrington, David ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; DATA HANDLING; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SOFTWARE PROTOTYPING;

AUTOMATIC MODEL TRANSFORMATION SYSTEMS; MODEL DRIVEN ARCHITECTURE (MDA); OBJECT MANAGEMENT GROUP (OMG);

METADATA;

EID: 33750104521     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2006.55     Document Type: Conference Paper

References (19)

1. OMG, UML 2.0 Infrastructure - Final Adopted Specification, OMG document ptc/03-09-15. http://www.omg.org/cgi-bin/doc?ptc/2003-09-15. 2003
2. OMG, MDA Guide Version 1.0.1. http://www.omg.org/docs/omg/03-06-01.pdf. 2003
3. OMG, Meta Object Facility (MOF) 2.0 Core Specification. 2.0 ver. http://www.omg.org/cgibin/doc?ptc/2004-10-15. 2004
4. OMG, Request for Proposal: MOF 2.0 Query/Views / Transformations RFP. http://www.omg.org/techprocess/meetings/schedule/MOF_2.0_Query_View_Transf._RFP. html. 2002
5. Eclipse Foundation, Eclipse Modeling Framework. http://www.eclipse.org/ emf/. 2005
6. DSTC, IBM, and CBOP, MOF Query/Views/Transformations - Second Revised Submission. 2.0 ver. http://www.dstc.edu.au/Research/Projects/Pegamento/ publications/ad-03-08-03.pdf. 2004
7. Kuster, J.M., Systematic Validation of Model Transformations, in 3rd UML Workshop in Software Model Engineering (WiSME 2004). http://www.metamodel.com/ wisme-2004/accept/4.pdf. 2004
8. Hoare, C.A.R., Communicating Sequential Processes. 1985: Prentice/Hall International.
9. Zapata, J.P.Z., et al., Challenges and Possible Solutions to Model Compliance in the context of Model Driven Development, in 3rd Workshop in Software Model Engineering at The Seventh International Conference on the Unified Modeling Language. http://www.metamodel.com/wisme2004/present/15.pdf. 2004
10. Varro, D. and A. Pataricza, Automated Formal Verification of Model Tranformations, in Workshop on Critical Systems Development in UML. http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2003/csduml2003_vp.pdf. 2003
11. Csertan, G., et al. VIATRA - visual automated transformations for formal verification and validation of UML models, in Proceedings ASE 2002. 17th IEEE International Conference on Automated Software Engineering, 23-27 Sept. 2002, pp. 267-70, IEEE Comput. Soc.
12. Fleurey, F., J. Steel, and B. Baudry, Validation in Model-Driven Engineering: Testing Model Transformations, in The 15th IEEE International Symposium on Software Reliability Engineering. http://www.irisa.fr/triskell/ publis/2004/Fleurev04b.pdf. 2004
13. Beizer, B., Software Testing Techniques. 2nd ed. 1990: Van Nostrand Reinhold.
14. Baudry, B., et al. Automatic test case optimization using a bacteriological adaptation model: application to. NET components, in Proceedings ASE 2002. 17th IEEE International Conference, on Automated Software Engineering, 23-27 Sept. 2002, pp. 253-6, IEEE Comput. Soc.
15. Lin, Y., J. Zhang, and J. Gray, Model-driven Software Development - Research and Practice in Software Engineering. 2005: Springer.
16. OMG, XML Metadata Interchange (XMI) Specification. 2.0 ver. http://www.omg.oria/technology/documents/formal/xmi.htm. 2003
17. Gamma, E., et al., Design Patterns: Elements of Reusable Object-Oriented Software. 1995: Addison-Wesley.
18. DSTC, Tefkat Tutorial. http://www.dstc.edu.au/Research/Projects/ Pegamento/tefkat/tutorial1.html. 2004
19. Eclipse Foundation, Graphical Editing Framework. http://www.eclipse.ora/ gef/. 2005