Objects, associations and subsystems: A hierarchical approach to encapsulation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1241, Issue , 1997, Pages 324-343

  Bicarregui, J C ^a   Lano, K C ^a   Maibaum, T S E ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

ENTIRE SYSTEM; FORMALISATION; HIERARCHICAL APPROACH; NESTED HIERARCHY; STATECHARTS; SYSTEM SPECIFICATION;

OBJECT ORIENTED PROGRAMMING;

EID: 84889265318     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053385     Document Type: Conference Paper

References (16)

1. M Abadi and L Cardelli, An Imperative Object Calulus, TAPSOFT ‘95, Mosses, Nielsen and Schwartzbach (Eds), Springer-Verlag, LNCS 915, 1995.
2. Maher Awad, Juha Kuusela and Jurgen Ziegler. Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion. Prentice Hall, Upper Saddle River, N J, March 1996.
3. Towards a Compositional Interpretation of Object Diagrams. C. Bicarregui, K.C. Lano and T.S.E. Maibaum. To appear: Proc. of IFIP TC2 Working Conference on Algorithmic Languages and Calculi, Strasbourg, February, 1997.
4. Coleman D. et al., Object-oriented Development: The FUSION Method. Prentice Hall Object-oriented Series, 1994.
5. S Cook and J Daniels, Designing Object Systems with Syntropy, Prentice Hall, 1994.
6. S Cook and J Daniels. Syntropy Case Study: The Petrol Station. Technical report, Object Designers Ltd., 1996.
7. J. Fiadeiro and T. Malbaum, Temporal Theories and Modularisation Units for Concurrent System Specification, Formal Aspects of Computing, Vol.4, No. 3, 1992. Springer-Verlag.
8. J. Fiadeiro and T. Malbaum Describing, Structuring and Implementing Objects, in de Bakker et al., Foundations of Object Oriented languages, LNCS 489, Springer- Verlag, 1991.
9. Goguen, J. and Burstall, R. Introducing Institutions. In Clarke and Kozen, eds. Logics of Programs, pp. 221-256, Springer-Verlag, 1984.
10. D. Harel, Statecharts: A Visual Formalism for Complex Systems, Sci. Comput. Prog. 8 pp. 231-274 (1987).
11. D. Harel and E. Gery, Executable Object Modelling with Statecharts Proc. 18th Int. Conf. Soft. Eng., IEEE Press, 1996, pp. 246-257.
12. L. Lamport, The Temporal Logic of Actions, Digital Technical Report 79, 130 Lytton Avenue, Palo Alto, Califiornia 94301. December 25th, 1991.
13. K. Lano, Enhancing Object-Oriented Methods with Formal Notations, TAPOS, to appear, 1997.
14. Rumbaugh, J. et al. Object-Oriented Modelling and Design, Prentice-Hall, Englewoods Cliffs, New jersey, 1991.
15. M. Spivey, The Z Notation: a reference manual, Prentice-Hall, 1992.
16. Wieringa R., de Jonge W., Spruit P., Roles and Dynamic Subclasses: A Model Logic Approach, IS-CORE report, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, 1993.