Skip to main content
SpringerLink
Log in

Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)

  • Conference paper
  • First Online:
Object-Oriented Technology: ECOOP’98 Workshop Reader (ECOOP 1998)

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

Included in the following conference series:

Abstract

Business specifications are essential to describe and understand businesses (and, in particular, business rules) independently of any computing systems used for their possible automation. They have to express this understanding in a clear, precise, and explicit way, in order to act as a common ground between business domain experts and software developers. They also provide the basis for reuse of concepts and constructs (“patterns”) common to all - from finance to telecommunications -, or a large number of, businesses, and in doing so save intellectual effort, time and money. Moreover, these patterns substantially ease the elicitation and validation of business specifications during walkthroughs with business customers, and support separation of concerns using viewpoints.

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. E.W. Dijkstra. On the teaching of programming, i.e. on the teaching of thinking. In: Language hierarchies and interfaces (Lecture Notes in Computer Science, Vol. 46), Springer Verlag, 1976, pp. 1–10.

    Chapter  Google Scholar 

  2. System description methodologies (Ed. by) D. Teichroew and G. David). Proceedings of the IFIP TC2 Conference on System Description Methodologies. North-Holland, 1985.

    Google Scholar 

  3. Charles F. Dunbar. Chapters on the theory and history of banking. Second edition, enlarged and edited by O.M.W. Sprague. G.P.Putnam’s Sons, New York and London, 1901.

    Google Scholar 

  4. Ludwig Wittgenstein. Tractatus Logico-Philosophicus. 2nd corrected reprint. New York: Harcourt, Brace and Company; London: Kegan Paul, Trench, Trubner & Co. Ltd., 1933.

    Google Scholar 

  5. Haim Kilov, Bernhard Rumpe. Summary of ECOOP’97 Workshop on Precise Semantics of Object-Oriented Modeling Techniques. In: Object-oriented technology: ECOOP’97 Workshop Reader. Ed. by Jan Bosch and Stuart Mitchell. Springer Lecture Notes in Computer Science, vol. 1357, 1998.

    Google Scholar 

  6. Haim Kilov, Bernhard Rumpe. Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specification). Workshop proceedings, Technical report, Technische Universität München TUM-I9813. 1998.

    Google Scholar 

  7. Z. Diskin and B. Kadish. Variable set semantics for generalized sketches: Why ER is more object-oriented than OO. To appear in Data and Knowledge Engineering.

    Google Scholar 

  8. J C Bicarregui, K C Lano, T S E Maibaum, Objects, Associations and Subsystems: a hierarchical approach to encapsulation. ECOOP 97, LNCS, 1997.

    Google Scholar 

  9. Cook S., Daniels J., Designing Object Systems: Object-oriented Modelling with Syntropy, Prentice Hall, 1994.

    Google Scholar 

  10. Lano K., Bicarregui J., UML Refinement and Abstraction Transformations, ROOM 2 Workshop, Bradford University, 1998.

    Google Scholar 

  11. K Lano, Logical Specification of Reactive and Real-Time Systems, to appear in Journal of Logic and Computation, 1998.

    Google Scholar 

  12. Rational Software et al, UML Notation Guide, Version 1.1, http://www.rational.com/uml, 1997.

  13. C. Pons, G. Baum, M. Felder. A dynamic logic framework for the formal foundation of object-oriented analysis and design, Technical Report. http://lifia-info.unlp.edu.ar/~cpons.

  14. Kilov, Haim, and James Ross (1994), Information Modeling: An Object-Oriented Approach. Prentice-Hall Object-Oriented Series.

    Google Scholar 

  15. Osborne, Martin J., and Ariel Rubinstein(1994), A Course in Game Theory. MIT Press.

    Google Scholar 

  16. Wand, Yair, and Richard Wang (1994), ┐Anchoring Data Quality Dimensions in Ontological Foundations,” TDQM Research Program, MIT.

    Google Scholar 

  17. Morabito, J., Sack, I., and Bhate, A., forthcoming book on Organizational Modeling, Prentice-Hall.

    Google Scholar 

  18. Thalassinidis, A.E., and Sack, I. “An Ontologic Foundation of Strategic Signals,” OOPSLA’97 Workshop on Object-oriented Behavioral Semantics, pp. 185–192.

    Google Scholar 

  19. Thalassinidis, A.E., and Sack, I. “On the Specifications of Electronic Commerce Economics,” ECOOP’97 Precise Semantics for Object-Oriented Modeling Techniques, pp. 157–163.

    Google Scholar 

  20. Thalassinidis, A.E., “An Ontologic and Epistemic, Meta-Game-Theoretic Approach to Attrition Signaling in a Globalized, Electronic Business Environment,” Ph.D. Thesis, Stevens Institute of Technology, May 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. World Financial Center, Merrill Lynch, Operations, Services and Technology, South Tower, New York, NY, 10080-6105

    Haim Kilov

  2. Institut für Informatik, Technische Universität München, 80333, Munich, Germany

    Bernhard Rumpe

Authors
  1. Haim Kilov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernhard Rumpe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Berne, Neubruckstr. 10, CH-3012, Berne, Switzerland

    Serge Demeyer

  2. Softcenter, University of Karlskrona/Ronneby, S-372 25, Ronneby, Sweden

    Jan Bosch

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kilov, H., Rumpe, B. (1998). Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications). In: Demeyer, S., Bosch, J. (eds) Object-Oriented Technology: ECOOP’98 Workshop Reader. ECOOP 1998. Lecture Notes in Computer Science, vol 1543. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49255-0_39

Download citation

  • DOI: https://doi.org/10.1007/3-540-49255-0_39

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65460-5

  • Online ISBN: 978-3-540-49255-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation