Skip to main content

Specifying Business Policy Using Agent-Contract Meta-Constructs

  • Chapter
Object-Oriented Behavioral Specifications

Part of the book series: The Springer International Series in Engineering and Computer Science ((SECS,volume 371))

  • 82 Accesses

Abstract

Business policy is a set of rules, regulations, invariants and definitions that govern the behavior of an enterprise. It is typically formulated by business people and formalized by lawyers. Business policy is often written down. However, much policy exists only in the memories of those who work for or with an enterprise. Still other policy is embedded in the code of enterprise software systems.

Solution developers have long realized that software is a means of promulgating and enforcing business policy. Without a correct or complete understanding of that policy, software will not function as required by the business. In addition, software that indiscriminately mixes policy and technology is difficult to maintain and reuse. Finally, as the only place where much business policy is documented, software commonly becomes de facto policy.

For all of the importance of business policy to behavior in general and software in particular, it is curious that most businesses have no formal business policy management processes. It is ironic that the haphazard business policy management that is done is almost untouched by automation.

A new meta-model dubbed the “agent-contract” meta-model was created recently by the IBM Consulting Group in collaboration with several of IBM’s industry solution units. This model was created as a means to integrate of IBM’s existing and future industry models. During the development process, it became clear that this meta-model would also provide direct support for business policy analysis and management. This essay describes the major concepts in the meta-model and connects the work to the growing rules/invariants movement within the object community.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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. Todd Blanchard, Modeling Business Semantics Using Objects and Production Rules, Proceedings Fourth Workshop on Specification of Behavioral Semantics, OOPSLA’ 95.

    Google Scholar 

  2. J. Blank and M.J. Krijger, Editors, Software Engineering: Methods and Techniques. Wiley-Interscience, New York, NY, 1983.

    Google Scholar 

  3. Keith Devlin, Logic and Information. Cambridge University Press, Cambridge, UK, 1988.

    Google Scholar 

  4. F. Flores and T. Winograd, Understanding Computers and Cognition. Addison-Wesley, New York, NY, 1987.

    Google Scholar 

  5. William Harrison, Haim Kilov, Harold Ossher and Ian Simmonds, From Dynamic Supertypes to Subjects: A Natural Way to Specify and Develop Systems, IBM Systems Journal, Volume 35,Number 2, to appear.

    Google Scholar 

  6. Haim Kilov, James Ross, Information Modeling: an Object-oriented Approach. Prentice-Hall, Englewood Cliffs, NJ, 1994.

    MATH  Google Scholar 

  7. Robert Kowalski, Logic for Problem Solving. Elsevier North-Holland, Oxford, UK, 1979.

    MATH  Google Scholar 

  8. Bertrand Meyer, Object-oriented Software Construction. Prentice-Hall International, Cambridge, UK, 1988.

    Google Scholar 

  9. Stephen McMenamin and John Palmer, Essential Systems Analysis. Prentice-Hall, New York, NY, 1984.

    Google Scholar 

  10. Marian Petre, Why Looking Isn’t Always Seeing: Readership Skills and Graphical Programming, Communications of the ACM, Volume 38,Number 6, June 1995.

    Google Scholar 

  11. Guus Ramackers, Object Business Modeling, Requirements and Approach, Proceedings Fourth Workshop on Specification of Behavioral Semantics, OOPSLA’ 95.

    Google Scholar 

  12. Trygve Reenskaug, Per Wold and Odd Arild Lehne, Working With Objects. Prentice-Hall, New York, NY, 1996.

    MATH  Google Scholar 

  13. A. L. Scherr, A New Approach to Business Processes, IBM Systems Journal, Volume 32,Number 1, 1993.

    Google Scholar 

  14. Brian Selic, Garth Gullekson, Paul T. Ward, Real-Time Object-Oriented. John Wiley & Sons, New York, NY, 1994.

    MATH  Google Scholar 

  15. Jean Stanford, Enterprise Modeling with Use Cases, Proceedings Fourth Workshop on Specification of Behavioral Semantics, OOPSLA’ 95.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Kluwer Academic Publishers

About this chapter

Cite this chapter

Palmer, J. (1996). Specifying Business Policy Using Agent-Contract Meta-Constructs. In: Object-Oriented Behavioral Specifications. The Springer International Series in Engineering and Computer Science, vol 371. Springer, Boston, MA. https://doi.org/10.1007/978-0-585-27524-6_13

Download citation

  • DOI: https://doi.org/10.1007/978-0-585-27524-6_13

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-0-7923-9778-6

  • Online ISBN: 978-0-585-27524-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics