Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)
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.
KeywordsBusiness Process Information Modeling Dynamic Logic Business Rule Knowledge Type
Unable to display preview. Download preview PDF.
- 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