Redesign of UML class diagrams: A formal approach

Software and Systems Modeling

Volumn 8, Issue 2, 2009, Pages 165-183

  Kosiuczenko, Piotr ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

Formal methods; OCL; Refactoring; Requirements tracing; UML

Indexed keywords

CLASS STRUCTURES; FORMAL APPROACHES; MODEL ELEMENTS; OBJECT-ORIENTED SYSTEMS; OCL; REFACTORING; REQUIREMENTS TRACING; TRACE MODELS; UML; UML CLASS DIAGRAMS;

BIOMINERALIZATION; ENCODING (SYMBOLS); REQUIREMENTS ENGINEERING; TRACE ELEMENTS;

FORMAL METHODS;

EID: 64549156077     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-007-0068-6     Document Type: Article

References (39)

1. Baar, T.: How to ground Meta-Circular OCL descriptions - a Set-Theoretic approach. In: Clark, T., Evans, A., Lano, K. (eds.) ROOM 2002, The Fourth Workshop on Rigorous Object-Oriented Methods. King's College, London (2002)
2. Bämer, D., et al.: Role object. In: Harrison, N., Rohnert, H. (eds.) Pattern Languages of Program Design. Addison-Wesley, Reading (2000)
3. Bidoit M., Hennicker R., Tort F. and Wirsing M. (1999). Correct realizations of interface constraints with OCL. In: France, R. and Rumpe, B. (eds) The UML - Beyond the Standard, Proceedings of 2nd International Conference on UML - 99, LNCS 1723, pp 399-415. Springer, Berlin
4. Bouhoula, A., Jouannaud, J.P., Meseguer, J.: Specification and Proof in Membership Equational Logic. TCS, 236(1-2), Elsevier, Amsterdam (2000)
5. Bruel, J.M., France, R.: Transforming UML models to formal specifications. In: Mueller, P.A., Bzivin, J. (eds) UML - 98 Beyond the Notation, LNCS 1618, Springer, Heidelberg (1998)
6. Cengarle, V., Knapp, A.: A formal semantics for OCL 1.4. In: Gogolla, M., Kobryn, C. (eds.) UML 2001, LNCS 2185, pp 118-133 (2001)
7. CoFI Task Group Language Design: CASL - The CoFI Algebraic Specification Language. http://www.brics.dk/Projects/CoFI/ (1998)
8. Department of Defense: A defense system software development. DOD-STD-2167, http://jcs.mil/htdocs/teinfo/directives/soft/ds2167a.html (2001)
9. D'Souza D. and Wills A. (1998). Objects, Components and Frameworks with UML, The Catalysis Approach. Addison Wesley, Reading
10. Egyed, A.: Compositional and Relational Reasoning During Class Abstraction. In: Stevens, et al. (eds.) Proceedings of the 6th International Conference on UML, San Francisco, USA, pp. 121-137 (2003)
11. Evans, A., France, R., Lano, K., Rumpe, B.: Meta-Modelling Semantics of UML. In: Kilov, (ed.) Behavioural Specifications for Businesses and Systems, Chapter 4. Kluwer, Dordrecht (1999)
12. Fiadeiro, J., Maibaum, T.: Describing, structuring and implementing objects. In: De Bakker F., et al. (eds.) Foundations of Object Oriented languages. LNCS 489. Springer, Heidelberg (1991)
13. Finkelstein A., Gabbay D., Hunter A., Kramer J. and Nuseibeh B. (1994). Inconsistency handling in multiperspective specifications. IEEE Trans. Softw. Eng. 20(8): 569-578
14. Fowler M. (2000). Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading
15. France, R., Song, E., Kim, D.-K., Ghosh, S.: Using Roles for Pattern-Based Model Refactoring. Technical Report. Colorado State University (2002)
16. Gamma E., Helm R., Johnson R. and Vlissides J. (1995). Design Patterns. Addison-Wesley, Reading
17. Goguen, J., Meseguer, J.: (1992) Order Sorted Algebra. Theoretical Computer Science, vol. 105(2). Elsevier, Amsterdam, pp 167-215
18. Große-Rhode M. (1999). Refinements and modules for typed graph transformation systems. In: Fiadeiro, J. (eds) Algebraic Development Techniques, ETAPS'98, LNCS 1589, pp 137-151. Springer, Berlin
19. Hennicker R., Knapp A. and Baumeister H. (2004). Semantics of OCL operation specifications. ENTCS 102: 111-132
20. Hunter, A., Nuseibeh, B.: Analyzing inconsistent specifications. In: Proceedings of 3rd international symposium on requirements engineering (1997)
21. Kirchner, C., Moreau, P.E., Reilles, A.: Formal validation of pattern matching code. In: Proceedings of the 7th ACM SIGPLAN international conference on Principles and Practice of Declarative Programming, PPDP'2005, Lisbon (2005)
22. Knethen, A., Paech, B.: A Survey on Tracing. Approaches in Practice and Research. IESE-Report Nr. 095.01/E. Fraunhofer Institut, (2001)
23. Jarke, M.: Requirements tracing. Communications of the ACM, 41(12) (1998)
24. Kosiuczenko, P.: Formal redesign of UML class diagrams. In: Evans, A., France, R., Moreira, A., Rumpe, B. (eds.) Proceedings of pUML Workshop, Toronto. GI-Edition, Lecture Notes in Informatics (2001)
25. Kosiuczenko, P.: Proof Transformation via Interpretation Functions. Technical Report Nr. CS-05-02, 2005, University of Leicester, 16 p (2005)
26. Lano K. (1995). Formal Object Oriented Development. Springer, Berlin
27. Lano, K.: Formalizing Design Patterns. BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, pp. 23-24. Springer, Heidelberg (1996)
28. Markovic', S., Baar, T.: Refactoring OCL annotated UML class diagrams. In: Briand, L.C., Williams, C. (eds). Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, October 2-7, 2005, Proceedings, LNCS, vol. 3713, pp. 280-294. Springer, Heidelberg (2005)
29. Meyer B. (1998). Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs
30. Paech, B., Rumpe, B.: A new concept of refinement used for behavior modeling with automata. In: Proceedings of FME'94, LNCS 873. Springer, Berlin (1994)
31. Richters M., Gogolla M.: On Formalizing the UML Object Constraint Language OCL. ER'98, Singapore, LNCS 1507, pp 449-464 (1998)
32. Tarlecki A. (1999). Institution: An abstract framework for formal specifications. In: Astesiano, E., Kreowski, H.-J. and Krieg-Brueckner, B. (eds) Algebraic Foundations of System Specification, pp. Springer, Heidelberg
33. Taylor, W.: Characterizing Malcev conditions. In: Algebra Universalis, 3, pp. 351-397. Springer, Berlin (1973)
34. Terese, et al.: Term Rewriting Systems. Cambridge Tracts in Theoretical Computer Science 55, Cambridge University Press, London (2003)
35. OMG: Unified Modeling Language Specification. Version 2.0, 05-07-04 (2005)
36. Warmer J. and Kleppe A. (1999). The Object Constraint Language. Addison-Wesley, Reading
37. Watkins, R., Neal, M.: Why and How of Requirements Tracing. IEEE Software, pp. 104-106 (1994)
38. Wirsing M. (1990). Algebraic specification. In: (eds) Handbook of Theoretical Computer Science, pp 677-780. Elsevier, Amsterdam
39. Zawlocki, A., Marczynski, G., Kosiuczenko, P.: Property preserving redesign of specifications. In: Fiadeiro, J., Rutten, J. (eds.) CALCO'05. Swansea, LNCS 3269, pp. 439-454 (2005)