An algebraic semantics for object-oriented behaviour modeling

Proceedings - 1996 Australian Software Engineering Conference, ASWEC 1996

Volumn , Issue , 1996, Pages 4-15

  Hubbers, J W G M ^a   ter Hofstede, A H M ^b  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DATA INTEGRATION; INFORMATION THEORY; SEMANTICS; SOFTWARE ENGINEERING;

ALGEBRAIC SEMANTIC; BEHAVIOUR MODELS; COMMUNICATION MODELING; CONCURRENT EXECUTION; OBJECT ORIENTED APPROACH; OBJECT ORIENTED DATA; OBJECT-ORIENTED ANALYSIS; SERVICE REQUESTS;

OBJECT ORIENTED PROGRAMMING;

EID: 0041601092     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.1996.534118     Document Type: Conference Paper

References (27)

1. D. Avison and A. Wood-Harper. Information Systems Development Research: An Exploration of Ideas in Practice. The Computer Journal, 34(2):98-112, Apr. 1991.
2. J. Baeten and W. Weijland. Process Algebra. Cambridge University Press, Cambridge, United Kingdom, 1990.
3. G. Booch. Object-Oriented Design with Applications. Benjamin Cummings, Redwood City, California, 1991.
4. D. d. Champeaux and P. Faure. A comparative study of object-oriented analysis methods. Journal of Object-Oriented Programming, 5(1):21-33, Mar. 1992.
5. P. Coad and E. Yourdon. Object-OrientedAnalysis. Yourdon Press, New York, New York, 1990.
6. G. Dedene and M. Snoeck. Formal deadlock elimination in an object oriented conceptual schema. Data & Knowledge Engineering, 15:1-30, Mar. 1995.
7. E. Dijkstra. Guarded Commands, Nondeterminacy, and Formal Derivation of Programs. Communications of the ACM, 18(8):453-457, Aug. 1975.
8. D. Embley, R. Jackson, and S. Woodfield. OO Systems Analysis: Is It or Isn't It? IEEE Software, 12(3): 19-33, July 1995.
9. D. Embley, B. Kurtz, and S. Woodfield. Object-Oriented Systems Analysis. Yourdon Press, Englewood Cliffs, New Jersey, 1992.
10. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, Massachusetts, 1995.
11. R. v. Glabbeek and W. Weijland. Refinement in Branching Time Semantics. In Proceedings AM AST Conference, pages 197-201, Iowa, May 1989.
12. A. t. Hofstede and E. Nieuwland. Task structure semantics through process algebra. Software Engineering Journal, 8(1):14-20, Jan. 1993.
13. J. Hubbers and A. t. Hofstede. Formalization of Communication and Behaviour in Object-Oriented Analysis. Technical Report CSI-R9511, Computing Science Institute, University of Nijmegen, Nijmegen, The Netherlands, Oct. 1995.
14. J. Iivari. Object-orientation as structural, functional and behavioural modelling: a comparison of six methods for object-oriented analysis. Information and Software Technology, 37(3):155-163, 1995.
15. M. Jackson. System Development. Prentice-Hall, Englewood Cliffs, New Jersey, 1983.
16. I. Jacobson. Is Object Technology Software's Industrial Platform? IEEE Software, pages 24-30, Jan. 1993.
17. I. Jacobson, M. Christerson, M. Jonsson, and P. v. Overgaard. OO Software Engineering, A Use Case Driven Approach. Addison-Wesley, Reading, Massachusets, 1992.
18. C. Jones. Systematic Software Development using VDM. Prentice-Hall, Englewood Cliffs, New Jersey, 1986.
19. D. Law and G. Longworth. Systems Development: Strategies and Techniques. NCC Publications, 1987.
20. J. Martin. Introduction to Information Engineering, volume 1 of Information Engineering. Savant Research Studies, Lancashire, United Kingdom, 1986.
21. J. Martin and J. Odell. Object-Oriented Analysis & Design. Prentice-Hall, Englewood Cliffs, New Jersey, 1992.
22. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorenson. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
23. J. Spivey. Understanding Z: A Specification Language and its Formal Semantics. Cambridge University Press, Cambridge, United Kingdom, 1988.
24. F. Vaandrager. Process Algebra Semantics of POOL. In J. Baeten, editor, Applications of Process Algebra, volume 17 of Cambridge Tracts in Theoretical Computer Science, pages 173-236. Cambridge University Press, Cambridge, United Kingdom, 1990.
25. R. Wieringa. Algebraic Foundations for Dynamic Conceptual Models. PhD thesis, Free University, Amsterdam, The Netherlands, 1990.
26. R. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Software. Prentice Hall, Englewood Cliffs, New Jersey, 1990.
27. E. Yourdon. Modern Structured Analysis. Prentice-Hall, Englewood Cliffs, New Jersey, 1989.