A Promise Theory View on the Policies of Object Orientation and the Service Oriented Architecture

Object orientation (OO) and Service Oriented Architecture (SOA) are two approaches to software design. By modelling these using Promise Theory we show that we can easily accomodates SOA principles into program modelling. We also show that promise theory can help to resolve ambiguities in OO design, and we resolve a case in which UML semantics do not offer sufficient guidance to determine a natural structure in a program. Our approach offers some simple clarity on the various meanings of inheritance policy and the Liskov substitution principle.

[1]  Alan Snyder,et al.  Encapsulation and inheritance in object-oriented programming languages , 1986, OOPLSA '86.

[2]  Edward L. Robertson.  Triadic Relations: An Algebra for the Semantic Web , 2004, SWDB.

[3]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[4]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[5]  Jeannette M. Wing,et al.  Family Values: A Behavioral Notion of Subtyping , 1993 .

[6]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[7]  William R. Cook,et al.  A denotational semantics of inheritance , 1989 .

[8]  Jan A. Bergstra,et al.  Interface Groups for Analytic Execution Architectures , 2006 .

[9]  Henry Lieberman,et al.  Using prototypical objects to implement shared behavior in object-oriented systems , 1986, OOPLSA '86.

[10]  Andrei Alexandrescu,et al.  Modern C++ Design , 2001 .

[11]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[12]  Mark Burgess,et al.  Voluntary Cooperation in Pervasive Computing Services , 2005, LISA.

[13]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[14]  Siri Fagernes,et al.  Pervasive Computer Management: A Model of Network Policy with Local Autonomy , 2006 .

[15]  Demissie Bediye Aredo,et al.  FORMAL DEVELOPMENT OF OPEN DISTRIBUTED SYSTEMS: INTEGRATION OF UML AND PVS , 2004 .

[16]  Mark Burgess,et al.  An Approach to Understanding Policy Based on Autonomy and Voluntary Cooperation , 2005, DSOM.

[17]  David D. Clark,et al.  A Comparison of Commercial and Military Computer Security Policies , 1987, 1987 IEEE Symposium on Security and Privacy.

[18]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..