Invariants in the Trenches

  • Haim Kilov
  • Helen Mogill
  • Ian Simmonds
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 371)


This paper demonstrates: that business specification (“analysis”) can be successfully separated from solution specification (“design”); that a precise, compact, understandable, yet complete, business specification for a non-trivial business problem is possible; that technical terminology (eg “invariant”, “generic relationship”) essential for writing such a specification can be quickly understood and freely used by all participants; and that a real-life business analyst (“in the trenches”) of a non-consulting (in this case, insurance) company can become self-reliant and comfortable with the approach in a reasonably short period of time. It does so by presenting both general observations on business analysis, and specific experience from producing a real business specification.


Business Process Business Rule Subject Matter Expert Business Specification Business User 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [D82]
    E W Dijkstra, Selected Writings on Computing: A Personal Perspective, Springer-Verlag, 1982.Google Scholar
  2. [GRM95]
    ISO/IEC JTC1/SC21, Information Technology — Open Systems Interconnection — Management Information Systems — Structure of Management Information — Part 7: General Relationship Model, ISO/IEC 10165-7, 1995.Google Scholar
  3. [H94]
    CAR Hoare, Mathematical Models for Computing Science, August 1994.Google Scholar
  4. [HKOS96]
    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
  5. [HO93]
    William Harrison, Harold Ossher, Subject-Oriented Programming (A Critique of Pure Objects), Proceedings of the Conference on Object-Oriented Programming: Systems, Languages, and Applications, ACM, Washington, D.C., September 1993, pages 411–428.Google Scholar
  6. [IAA95]
    IBM Insurance Application Architecture supporting insurance industry innovations. IBM G326-0591, May 1995.Google Scholar
  7. [J91]
    Ivar Jacobson, Industrial Development of Software with an Object-Oriented Technique, Journal of Object-Oriented Programming, Volume 4,Number 1, March-April 1991, pages 30–41.Google Scholar
  8. [KR94]
    Haim Kilov, James Ross, Information Modeling: an Object-oriented Approach. Prentice-Hall, Englewood Cliffs, NJ, 1994.MATHGoogle Scholar
  9. [MW93]
    John-Jules Ch. Meyer, Roel J. Wieringa. Deontic logic in computer science. John Wiley and Sons, 1993.Google Scholar
  10. [MHLIC]
    Proposals of the Massachusetts Hospital Life Insurance Company, to make insurance on lives, to grant annuities on lives and in trust, and endowments for children, James Loring printer, Boston, 1835.Google Scholar
  11. [PM95]
    David Parnas, Jan Madey, Functional Documents for Computer Systems, Science of Computer Programming, Volume 25, 1995, pages 41–61.CrossRefGoogle Scholar
  12. [R96]
    David Redberg. The search for the linking invariant: behavioral modeling versus modeling behavior. In: Object-oriented behavioral specifications (ed. by H. Kilov and W. Harvey), Kluwer Publishers, 1996.Google Scholar
  13. [RM-ODP.
    2]_ISO/IEC JTC1/SC21/WG7, Open Distributed Processing — Reference Model: Part 2: Foundations (IS 10746-2/ITU-T Recommendation X.902, February 1995).Google Scholar
  14. [S92]
    JM Spivey, The Z Notation: A Reference Manual, 2nd Edition, Prentice-Hall 1992.Google Scholar
  15. [S94]
    Paul Swatman, Management of Information Systems Acquisition Projects, Proceedings of OzMISD’94, First Australian Conference on Modelling and Improving Systems Development, Lilydale, Victoria, 3–4 February 1994, pages 115–131.Google Scholar
  16. [W89]
    Yair Wand, A Proposal for a Formal Model of Objects, in Object-Oriented Concepts, Databases and Applications, edited by Won Kim and Frederick Lochovsky, Addison-Wesley, 1989, pages 537–559.Google Scholar

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Haim Kilov
    • 1
  • Helen Mogill
    • 2
  • Ian Simmonds
    • 1
  1. 1.Insurance Research Center IBM T J Watson Research CenterHawthorne
  2. 2.Country CompaniesBloomington

Personalised recommendations