Metamodel-based model conformance and multiview consistency checking

ACM Transactions on Software Engineering and Methodology

Volumn 16, Issue 3, 2007, Pages

  Paige, Richard F ^a   Brooke, Phillip J ^b   Ostroff, Jonathan S ^c  

^a UNIVERSITY OF YORK   (United Kingdom)

^b TEESSIDE UNIVERSITY   (United Kingdom)

^c YORK UNIVERSITY   (Canada)

Author keywords

Automated verification; Formal methods; Metamodeling; Multiview consistency

Indexed keywords

AUTOMATED VERIFICATION; METAMODELING; MULTIVIEW CONSISTENCY;

AUTOMATION; COMPUTER PROGRAMMING LANGUAGES; OBJECT ORIENTED PROGRAMMING; SOFTWARE TESTING;

FORMAL METHODS;

EID: 34547245302     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/1243987.1243989     Document Type: Article

References (60)

1. AHRENDT, W., BAAR, T., BECKERT, B., BUBEL, R., GIESE, M., HAHNLE, R., MENZEL, W., MOSTOWSKI, W., ROTH, A., SCHLAGER, S., AND SCHMITT, P. 2005. The KeY tool. J. Softw. Syst. Model. 4, 1.
2. AKEHURST, D., PATRASCOUI, O., AND SMITH, R. 2004. The Kent modelling framework user guide. http://www.cs.kent.ac.uk/projects/kmf.
3. AMALIO, N., STEPNEY, S., AND POLACK, F. 2004. Modular UML semantics: Interpretations in Z based on templates and generics. In Formal Aspects of Component Software, International Workshop (FACS'03). UNU/IIST.
4. BEZIVIN, J., DUPE, G., JOUAULT, F., PITETTE, J., AND ROUGUI, J. 2003. First experiments with the ATL model transformation language. In Workshop on Generative Techniques in the Context of MDA. http://www.softmetaware.com/oopsla2003/ mda-workshop.html.
5. BHADUHI, P. AND VENKATESH, R. 2002. Formal consistency of models in multi-view modeling. In Workshop on Consistency Problems in UML-Based Software Development.
6. BIDOIT, M. AND MOSSES, P. D. 2004. CASL user manual. Lecture Notes in Computer Science, vol. 2900 (IFIP Series). Springer-Verlag.
7. BUDINSKY, F., STEINBERG, D., MERKS, E., ELLEHSICK, R., AND GROSE, T. 2003. The Eclipse Modelling Framework. Addison-Wesley.
8. CHECHIK, M., DEVEREAUX, B., EASTERBROOK, S., AND GARFINKEL, A. 2003. Multi-valued symbolic model checking. ACM Trans. Softw. Engin, Method. 12, 4.
9. CHIOREAN, D. 2005. OCLE 2.0 User Manual, http://lci.cs.ubbcluj. ro/ocle/.
10. CLARK, T., EVANS, A., AND KENT, S. 2001a. The metamodelling language calculus: Foundation semantics for UML. In Proceedings of the Fundamental Aspects of Software Engineering. Lecture Notes in Computer Science, vol. 2029, Springer-Verlag.
11. CLARK, T., EVANS, A., AND KENT, S. 2001b. MMT programmer's guide, www.dcs.kcl.ac.uk/staff/tony/docs/ ProgrammersGuideToMMT.pdf.
12. D'SOUZA, D. AND WILLS, A. 1998. Objects, Components and Frameworks with UML. Addison-Wesley.
13. EVANS, A., MASKERI, G., MOORE, A., SAMMUT, P., AND WILLANS, J. 2005. A unified superstructure for UML. J. Object Techn. 4, 1.
14. EVANS, A., SAMMUT, P., AND WILLANS, J. 2003. Proceedings of the metamodelling for MDA workshop. Tech. rep., University of York.
15. FINKELSTEIN, A., GABBAY, D., HUNTER, A., KRAMER, J., AND NUSEIBEH, B. 1994. Inconsistency handling in multi-perspective specification. IEEE Trans. Softw. Engin. 20, 8.
16. FONDEMENT, F. AND BAAR, T. 2005. Making metamodels aware of concrete syntax. In European Conference on MDA (ECMDA'05). Lecture Notes in Computer Science, vol. 3748, Springer-Verlag.
17. GAMMA, E., HELM, R., JOHNSON, R., AND VLISSIDES, J. 1995. Design Patterns. Addison-Wesley.
18. GAO, Y. July 2004. Multi-view consistency checking of BON software description diagrams. MSC thesis, York University, Canada.
19. GRYCE, C., FINKELSTEIN, A., AND NENTWICH, C. 2002. Xlinkit: Lightweight consistency checking for the UML. In Workshop on Consistency Problems in UML-based Software Development.
20. HUSSMAN, H., DEMUTH, B., AND FINGER, F. 2000. Modular architecture for a toolset supporting OCL. In Proceedings of UML 2000. Lecture Notes in Computer Science, vol. 1939, Springer-Verlag.
21. HUZAR, Z., KUZNIARZ, L., REGGIO, G., AND SOURROUILLE, J. 2002. Workshop on Consistency Problems in UML-Based Software Development, http://www.ipd.bth.se/UML2002.
22. HUZAR, Z., KUZNIARZ, L., REGGIO, G., AND SOURHOUILLE, J. 2003. Workshop on Consistency Problems in UML-Based Software Development. http://www.ipd.bth.se/consistencyUML/ UML2003Workshop.asp.
23. HUZAR, Z., KUZNIARZ, L., REGGIO, G., AND SOURROUILLE, J. 2004. Workshop on Consistency Problems in UML-Based Software Development. http://uml04.ci.pwr.wroc.p]/.
24. IEEE. 2000. IEEE Std. 1471-2000 Recommended Practice for Architectural Description of Software Intensive Systems, standards.ieee.org.
25. KIM, S. AND CARRINGTON, D. 2004. Using integrated metamodeling to define 00 design patterns with Object-Z and UML. In Proceedings of the Asia-Pacific Software Engineering Conference. IEEE, 257-264.
26. KRISHNAN, P. 2000. Consistency Checks for UML. In Proceedings of the 7th Asia-Pacific Software Engineering Conference. IEEE, 162-169.
27. KUZNIARZ, L., REGGIO, G., AND SOURROUILLE, J. 2005. Workshop on Consistency in Model-Driven Engineering. http://www.ipd.bth.se/consistencyUML/CoMoDE
28. LEAVENS, G., POLL, E., CLIFTON, C., CHEON, Y., RUBY, C., COK, D., MUELLER, P., AND KINIRY, J. 2005. JML Reference Manual, http://www.cs.iastate.edu/leavens/JML/jmlrefman/.
29. MARCANO, R. AND LEVY, N. 2002. Using B formal specification for analysis and verification of UML/OCL models. In Workshop on Consistency Problems in UML-Based Software Development.
30. MELLOR, S. AND BALCER, M. 2002. Executable UML. Addison-Wesley.
31. MEYER, B. 1992. Eiffel - The Language 2nd ed. Prentice Hall.
32. MEYER, B. 1997. Object Oriented Software Construction 2nd ed. Prentice Hall.
33. MEYER, B. 2003. Towards practical proofs of class correctness. In Proceedings of the 3rd International Conference of B and Z Users (ZB'03). Lecture Notes in Computer Science, vol. 2651, Springer-Verlag.
34. MICROSOFT. 2005. Microsoft Visio Web resource. http://office.microsoft.com/en-gb/FX010857981033.aspx.
35. MICROSOFT. 2006. Spec# programming system, http://research. microsoft.com/specsharp/.
36. MODELWARE. 2005. D1.5: Model composition definition - consistency rules. http://www.modelware-ist.org.
37. OBJECT MANAGEMENT GROUP. 2003a. MDA guide version 1.0.1.
38. OBJECT MANAGEMENT GROUP. 2003b. UML Standard Guide 1.5.
39. OBJECT MANAGEMENT GROUP. 2004a. MOF Meta-Object Facility Specification 1.4.
40. OBJECT MANAGEMENT GROUP. July 2004b. UML 2.0 working documents, www.omg.org.
41. OWRE, S., SHANKAR, N., RUSHBY, J., AND STRINGER-CALVERT, D. 1999. PVS Language Reference. pvs.csl.sri.com.
42. PAIGE, R., BROOKE, P., AND OSTROFF, J. 2004. Specification-driven development of an executable metamodel. In Proceedings of Workshop in Software Model Engineering. http://www.metamodel.com/wisme-2004/present/6.pdf.
43. PAIGE, R., BROOKE, P., AND OSTROFF, J. 2005. Lightweight metamodeling, conformance, and view consistency checking, http://www.cs.york.ac.uk/~paige/trlwmm.pdf.
44. PAIGE, R., KOLOVOS, D., AND POLACK, F. 2005. Refinement via Consistency Checking in MDA. In Proceeding of Refinenet Workshop, ENTCS.
45. PAIGE, R. AND OSTROFF, J. 1999a. A Comparison of BON and UML. In Proceedings of Unified Modeling Languages (UML'99). Lecture Notes in Computer Science, vol. 1723, Springer-Verlag.
46. PAIGE, R. AND OSTROFF, J. 1999b. Developing BON as an industrial-strength formal method. In Proceedings of World Congress on Formal Methods. Lecture Notes in Computer Science, vol. 1708, Springer-Verlag.
47. PAIGE, R. AND OSTROFF, J. 2001. Metamodelling and conformance checking with PVS. In Proceedings of Fundamental Aspects of Software Engineering. Lecture Notes in Computer Science, vol. 2029, Springer-Verlag.
48. PAIGE, R. AND OSTROFF, J. 2004. ERC: An object-oriented refinement calculus for Eiffel. Formal Aspects Comput. 16, 1.
49. PAIGE, R. AND OSTROFF, J. 2000. Precise and formal metamodeling with BON and PVS. Tech. rep. 2000-03, York University.
50. PAIGE, R., OSTROFF, J., AND BROOKE, P. 2002. Checking the consistency of class and collaboration diagrams using PVS. In Proceedings of Rigorous Object-Oriented Methods 4 (ROOM4). British Computer Society.
51. PAIGE, R., OSTROFF, J., AND BROOKE, P. 2003a. A test-based and agile approach to checking the consistency of class and collaboration diagrams. In Proceedings of UK Software Testing Research Workshop.
52. PAIGE, R., OSTHOFF, J., AND BROOKE, P. 2003b. Theorem proving support for view consistency checking. L'Objet 9, 4.
53. RICHTERS, M. AND GOGOLLA, M. 2000. Validating UML models and OCL constraints. In Proceedings of Unified Modeling Languages (UML'00). Lecture Notes in Computer Science, vol. 1939, Springer-Verlag.
54. SOCIETY OF AUTOMOTIVE ENGINEERS. 2005. Architectural Analysis and Design Language (AADL) Standard, http://www.aadl. info.
55. SOURROUILLE, J. AND CABLAT, G. 2002. A pragmatic view about consistency checking of UML models. In Workshop on Consistency Problems in UML-Based Software Development.
56. SPENCER, G. 2005. OCL to Eiffel. MSC Thesis, http://www.cs.york.ac.uk/library/.
57. TALIGHENI, A. 2004. Contractual consistency between BON static and dynamic diagrams. MSC Thesis, York University, Canada.
58. TALIGHENI, A. AND OSTROFF, J. 2003. The BON Development Tool. In Proceedings of Eclipse Technology Exchange.
59. WALDEN, K. AND NERSON, J.-M. 1995. Seamless Object Oriented Software Architecture. Prentice Hall.
60. XACTIUM. 2006. XMF-Mosaic User Guide (prerelease version 0.1.) www.xactium.com.