Skip to main content
SpringerLink
Log in

Set Theory as a Semantic Framework for Object Oriented Modeling

  • Conference paper
  • First Online:
Object-Oriented Technologys (ECOOP 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1357))

Included in the following conference series:

Abstract

The author has modeled complex systems in a variety of business contexts, from healthcare to telecoms, using a variant of Z. The notation, like Z itself, is a syntactically sugared form of ZF set theory but it permits the use of weak post-conditions — a small, but crucially important, semantic device. The style of construction is very similar to that employed in Object-Oriented modeling, but it illuminates many dark corners of that paradigm, especially as concerns: composition, (multiple) inheritance, concurrency, invariance, inconsistency, emergence, modalities of interpretation, and the clinical aspects of enterprise modeling. This paper describes some of the author’s work-in-progress in these areas, and provides references to several models that have been published.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Boxer, P. and Cohen, B. Analysing the lack of Demand Organisation, Proc CASYS’ 97 (to appear).

    Google Scholar 

  2. Bunge, M. Treatise on Basic Philosophy (8 vols.), D. Reidel, 1974–80.

    Google Scholar 

  3. Bunge, M. Causality, D. Reidel, 1986.

    Google Scholar 

  4. Cameron, J. and Velthuijsen, H: Feature Interactions in Telecommunications Systems, IEEE Communications Magazine, August 1993.

    Google Scholar 

  5. Cameron, J. and Cohen, B. Formal Approaches to Feature Interactions, Tutorial Notes, FORTE/PSTV’96, Kaiserslautern, 1996.

    Google Scholar 

  6. Cohen, B. and Mannering, D., The Rigorous Specification and Verification of the Safety Aspects of a Real-Time System, Proc. Compass’ 90, 1991.

    Google Scholar 

  7. Cohen, B. The CBM Co.: A Formal Model of a Dataflow Design, Proc. “Putting into Practice Theories and Tools for Formal Specification”, Université de Nantes, 1992.

    Google Scholar 

  8. Cohen, B. Formal Modelling of the Principles Governing the Confidentiality of the Patient Record, Proc. ‘Toward an Electronic Patient Record’, Nashville 1997 (to appear).

    Google Scholar 

  9. Cohen, B. Models and Modelling Frameworks in Health Care Informatics, Proc. ‘Toward an Electronic Patient Record’, San Diego and London, 1996.

    Google Scholar 

  10. Cohen, B. and Pitt, D. Proof Obligations 2: State-Based Systems, Proc. Colloq. on High Integrity Systems, University of Warwick, 1990.

    Google Scholar 

  11. Cohen, B. The Description and Analysis of Services as Required and Provided by their Agents, http://www.cs.city.ac.uk/homes/bernie/services.html

  12. Dubois, D. Concept and Method of Incursion and Hyperincursion, Proc. CAST’ 96.

    Google Scholar 

  13. Floyd, C. et al, Software Development as Reality Construction, Springer Verlag, 1991.

    Google Scholar 

  14. Glykas, M., Wilhelmi, P. and Holden, T. The Combination of Object Oriented Design Techniques with Object Oriented Formal Methods: ORML + Schuman Pitt, CAISE 93, Paris.

    Google Scholar 

  15. Holland, J., Sønksen, P., Carson, E. and Cohen, B. The Directorate Information System at St. Thomas’ Hospital, Intl. Conf. on Requirements Engineering, Colorado Springs, 1994.

    Google Scholar 

  16. Rosen, R. Anticipatory Systems, Pergamon, 1987.

    Google Scholar 

  17. Schuman, S.A. and Pitt, D.M. Object Oriented Subsystem Specification, in Program Transformaion and Transformation (ed. Meertens), Proc. IFIP Working Conf., North-Holland, 1987.

    Google Scholar 

  18. Schuman, S.A., Pitt, D.M. and Byers, P.J. Object Oriented Process Specification, in Specification and Verification of Concurrent Systems (ed. Rattray), Springer-Verlag, 1990.

    Google Scholar 

  19. Schuman, S.A. and Pitt, D.M. Object Oriented Formal Specification and ‘the rest stays unchanged’, BCS/FACS Workshop on Formal Aspects of Object-Orientation, London, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Interoperable Systems Research, City University, London, UK

    Prof. B. Cohen

Authors
  1. Prof. B. Cohen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Business Administration, University of Karlskrona/Ronneby, S-372 25, Ronneby, Sweden

    Jan Bosch

  2. Department of Computer Science, University of York, York, YO1 5DD, UK

    Stuart Mitchell

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cohen, B. (1998). Set Theory as a Semantic Framework for Object Oriented Modeling. In: Bosch, J., Mitchell, S. (eds) Object-Oriented Technologys. ECOOP 1997. Lecture Notes in Computer Science, vol 1357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69687-3_34

Download citation

  • DOI: https://doi.org/10.1007/3-540-69687-3_34

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64039-4

  • Online ISBN: 978-3-540-69687-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation