Visualising action contracts in object-oriented modelling

IEE Proceedings: Software

Volumn 145, Issue 2-3, 1998, Pages 70-77

  Kent, S ^a   Gil, J ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

Formal methods; Modelling; Object technology; UM L; Visualisation

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; SET THEORY;

CONSTRAINT DIAGRAMS; UNIFIED MODELING LANGUAGES (UML); VENN DIAGRAMS;

OBJECT ORIENTED PROGRAMMING;

EID: 0032036080     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:19986036     Document Type: Article

References (19)

1. UML Consortium. The Unified Modeling Language Version 1.1. Available from http://w\vw.rational.com, 1997
2. RUMBAUGH, J., BLAHA, M., PREMERALI, W., EDDY, F LORENSEN, W.Object oriented modelling and desien' (Prentice Hall, 1991)
3. BOOCH, G.Object-oriented design with applications' (Benjamin Cummines, Redwood City, California, 1991)
4. COOK, S "DANIELS, J.Designing object systems: Objectoriented modelling with syntropy' (Prentice Hall, 1994)
5. D'SOUZA, D WILLS, A.Extending fusion: practical riaor and refinement' in MALAN, R., LETSINGER, D COLEMAN, D. (Eds.)OO Development at Work' (Prentice Hall, 1996)
6. D'SOUZA, D WILLS, A.Objects, components and frameworks with UML: The catalysis approach' (Addison-Wesley, to appear 1998), Draft and other related material available at http:// www.trireme.com/catalysis
7. UML Consortium, Object Constraint Language Specification Version 1.1., Available from http://www.rational.com, 1997
8. AERIAL, J-R., SCHUMAN, S MEYER, B.A specification language' in McNAUGHTEN, R McKEAG, R. (Eds.)On the construction of procrams' (Cambridge University Press, 1980), pp. 343-410
9. JONES, C.Systematic software development using VDM' (Prentice Hall, 1990, 2nd edn.)
10. HAMIE, A., HOWSE, J KENT, S.Navigation expressions in object-oriented modelling notations'. Proceedines of FASE98 in ETAPS98, April 1998, (Sprincer Verlas), pp. 123-137
11. HAREL, D.On visual formalisms', Commun. ACM, 1988, 31, (5), pp. 514-530
12. HAREL, D.Statecharts: A visual formalism for complex systems', Sci. Compitt. Program., 1987, 8, (3), pp. 231-274
13. KENT, S.Constraint diagrams: Visualising invariants in objectoriented models'. Proceedings of OOPSLA97, 1997, (ACM Press)
14. GIL, Y KENT, S.Three dimensional software modelling'. Proceedings of ICSE98, April 1998, (IEEE Press), pp. 105-114
15. D'SOUZA, D.Education and trainine: Teacher! Teacher!', J. Object-Oriented Program., 1992, 5, (2), pp. 12-17
16. ODELL, J.Advanced object-oriented analysis and design using UML' (Cambridee University Press), SIGS Reference Library
17. LAUDER, A KENT, S.Precise visual specification of desien patterns'. Proc. ECOOP'98 (Sprineer Verlac, 1998)
18. ALLWEIN, G BARW1SE, J. (Eds.)Logical reasoning with diagrams' (Oxford University Press, 1996)
19. YANG, S., BURNETT, M., DEKOVEN, E ZLOOF, M.Representation design benchmarks: A design-time aid for VPL navicable static representations', J. Vis. Lang. Comput., 1997, 8, (5-6), pp. 563-599