Formal specification of Catalysis frameworks

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2000-January, Issue , 2000, Pages 180-187

  Filipe, J K ^a   Lau, K K ^b   Omaghi, M ^c   Taguchi, K ^d   Yatsu, H ^e   Wills, A ^f  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

^c UNIVERSITY OF MILAN   (Italy)

^d UPPSALA UNIVERSITY   (Sweden)

^e NIHON UNISYS LTD   (Japan)

^f Trireme Ltd   (United Kingdom)

Author keywords

Drives; Formal specifications; Natural languages; Programming; Terminology; Unified modeling language

Indexed keywords

CATALYSIS; COMPUTATIONAL LINGUISTICS; DRIVES; MATHEMATICAL PROGRAMMING; MODELING LANGUAGES; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS; TERMINOLOGY; UNIFIED MODELING LANGUAGE;

COMPONENT-BASED SOFTWARE DEVELOPMENT; NATURAL LANGUAGES;

FORMAL SPECIFICATION;

EID: 0007879488     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2000.896697     Document Type: Conference Paper

References (22)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.
2. R.H. Bourdeau and B.H.C. Cheng. A formal semantics for object model diagrams. IEEE Trans. Soft. Eng., 21(10):799-821, 1995.
3. D. Coleman et al. Object-Oriented Development: The Fusion Method. Prentice-Hall, 1994.
4. S. Cook and J. Daniels. Designing Object Systems. Prentice-Hall, 1994.
5. D.F. D'Souza and A.C. Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, 1999.
6. R.B. France et al. Towards a rigorous object-oriented analysis and design method. Proc. 1st IEEE Int. Conf. on Formal Engineering Methods, pages 7-16, IEEE Computer Society, 1997.
7. A. Grau et al. The TROLL approach to conceptual modelling: syntax, semantics and tools. LNCS 1507:277-290, Springer, 1998.
8. J.V. Guttag and J.J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.
9. R. Helm, I.M. Holland, and D. Gangopadhay. Contracts - Specifying behavioural compositions in OO systems. Sigplan Notices 25(10) (Proc. ECOOP/OOPSLA 90).
10. J. Küster Filipe, K.-K. Lau, M. Ornaghi, and H. Yatsu, On dynamic aspects of OOD frameworks in component-based software development in computational logic. LNCS 1817:43-62, Springer-Verlag, 2000.
11. G. Larsen. Designing component-based frameworks using patterns in the UML. CACM 42(10):38-45, 1999.
12. K.-K. Lau, S. Liu, M. Ornaghi, and A. Wills. Interacting frameworks in Catalysis. In Proc. 2nd IEEE Int. Conf. on Formal Engineering Methods, pages 110-119, IEEE Computer Society, 1998.
13. K.-K. Lau and M. Ornaghi. OOD frameworks in component-based software development in computational logic. LNCS 1559:101-123, Springer-Verlag, 1999.
14. K.-K. Lau, M. Ornaghi, and A. Wills. Frameworks in Catalysis: Pictorial notation and formal semantics. In Proc. 1st IEEE Int. Conf. on Formal Engineering Methods, pages 213-220, IEEE Computer Society, 1997.
15. R. Loogen and U. Goltz. Modelling nondeterministic concurrent processes with event structures. Fundamenta Informaticae XIV(1):39-73, 1991.
16. R. Mauth. A better foundation: development frameworks let you build an application with reusable objects. BYTE 21(9):40IS 10-13, 1996.
17. J. Rumbaugh et al. Object-Oriented Modeling and Design. Prentice-Hall, 1991.
18. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
19. J.M. Spivey. The Z Notation. Prentice Hall, 2nd edition, 1992.
20. C. Szyperski. Component Software. Addison-Wesley, 1997.
21. J. Warmer and A. Kleppe. The Object Constraint Language. Addison-Wesley, 1999.
22. G. Winskel. Event structures. LNCS 255:325-392, Springer, 1987.