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.

[1]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[2]  Manfred Broy,et al.  PSMT - Workshop on Precise Semantics for Software Modeling Techniques , 1998 .

[3]  Charles Franklin Dunbar.  Chapters On The Theory And History Of Banking , 1891 .

[4]  Bernhard Rumpe,et al.  Towards a Formalization of the Unified Modeling Language , 1997, ECOOP.

[5]  Martin Gogolla,et al.  State diagrams in UML: A formal semantics using graph transformations , 1998 .

[6]  Carl A. Gunter,et al.  Semantic Domains and Denotational Semantics , 1989 .

[7]  Roelf J. Wieringa,et al.  A Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams , 1998 .

[8]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[9]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[10]  James Ross,et al.  Information modeling - an object-oriented approach , 1994, Prentice Hall object-oriented series.

[11]  Kevin Lano,et al.  Logical Specification of Reactive and Real-Time Systems , 1998, J. Log. Comput..

[12]  Lawrence Charles Paulson,et al.  Isabelle: A Generic Theorem Prover , 1994 .

[13]  Kevin Lano,et al.  UML refinement and abstraction transformations , 1998 .

[14]  Robert B. France,et al.  Towards a rigorous object-oriented analysis and design method , 1997, First IEEE International Conference on Formal Engineering Methods.

[15]  Gábor Dávid,et al.  System description methodologies : proceedings of the IFIP TC2 Conference on System Description Methodologies, Kecskemét, Hungary, 23-27 May, 1983 , 1985 .

[16]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[17]  J. van Leeuwen,et al.  Object-Oriented Technology: ECOOP’98 Workshop Reader , 1998, Lecture Notes in Computer Science.

[18]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[19]  Ralph E. Johnson,et al.  Creating abstract superclasses by refactoring , 1993, CSC '93.

[20]  John Daniels,et al.  Designing object systems: object-oriented modelling with Syntropy , 1995 .

[21]  Dana S. Scott,et al.  Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[22]  David A. Carrington,et al.  Object-Z: An Object-Oriented Extension to Z , 1989, FORTE.

[23]  Angelo E. Thalassinidis.  An ontologic and epistemic meta-game-theoretic approach to attrition signaling an electronic, globalized business environment , 1998 .

[24]  Kevin Lano,et al.  Formalizing Object-Oriented Models in the Object Calculus , 1997, ECOOP Workshops.

[25]  A. Rubinstein,et al.  A Course in Game Theory , 1995 .

[26]  Kevin Lano,et al.  Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation , 1997, ECOOP.

[27]  Edsger W. Dijkstra,et al.  On the teaching of programming, i. e. on the teaching of thinking , 1975, Language Hierarchies and Interfaces.

[28]  Klaus Samelson,et al.  Language Hierarchies and Interfaces, International Summer School , 1975 .

[29]  Richard Y. Wang,et al.  Anchoring data quality dimensions in ontological foundations , 1996, CACM.

[30]  Andy Schürr,et al.  Formal Definition and Refinement of UML's Module/Package Concept , 1997, ECOOP Workshops.

[31]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[32]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[33]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[34]  Claudia Pons.  A dynamic logic model for the formal foundation of object-oriented analysis and design , 1998, Proceedings SCCC'98. 18th International Conference of the Chilean Society of Computer Science (Cat. No.98EX212).

[35]  G. Winskel.  The formal semantics of programming languages , 1993 .

[36]  Ontological Foundations,et al.  Anchoring Data Quality Dimensions , 1996 .