The Systematic Construction of Information Systems

  • A. Cau
  • H. Zedan


Process modelling is a vital issue for communicating with experts of the application domain. Depending on the roles and responsibilities of the application domain experts involved, process models are discussed on different levels of abstraction. These may range from detailed regulation for process execution to the interrelation of basic core processes on a strategic level. To ensure consistency and to allow for a flexible integration of process information on different levels of abstraction, we introduce a transformational calculus that allows the incremental addition to and refinement of the information in a process model, while maintaining the validity of more abstract high-level processes. A complete formal treatment of the model and the calculus is given and is illustrated on a small banking example.


Process model Refinement Information systems engineering 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ANS77]
    ANSI/X3/SPARC. Interim report on data base systems. Technical report, 1977.Google Scholar
  2. [Bac88]
    R.J.R. Back. A calculus of refinements for program derivations. Acta Informatica, 1988, 25.Google Scholar
  3. [Bac89]
    R.J.R. Back. Refinement calculus, Part ii: Parallel and reactive programs. LNCS, 1989, 430.Google Scholar
  4. [BW90]
    R.J.R. Back and J. Wright. Refinement concepts formalised in hol. Formal Aspects of Computing, 1990, 3.Google Scholar
  5. [CCZ99]
    Z. Chen, A. Cau and H. Zedan. Integrating structured oo approaches with formal techniques for the development of real-time systems. Information and Software Technology Journal, 1999, 41.Google Scholar
  6. [CZ97]
    A. Cau and H. Zedan. Refining interval temporal logic specifications. In Proceedings of the Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software (ARTS’97), 1997.Google Scholar
  7. [CZC99]
    Z. Chen, H. Zedan and A. Cau. A wide-spectrum language for object-based development of real-time systems. International Journal of Information Sciences, 1999.Google Scholar
  8. [Dav93]
    A.M. Davis. Software Requirements: Objects, Functions and States. Prentice-Hall, 1993.zbMATHGoogle Scholar
  9. [Dow88]
    M. Dowson. Iteration in the software process. In Proceedings of the 9th International Conference on Software Engineering, 1988.Google Scholar
  10. [FKG90]
    A. Finkelstein, J. Kramer and M. Goedicke. Viewpoint oriented software development. In Proceedings of the Conference ‘Le Genie Logiciel et ses Applications’, 1990.Google Scholar
  11. [HH98]
    C.A.R. Hoare and J. He. Unifying Theories of Programming. Prentice-Hall, 1998.Google Scholar
  12. [Hoa96]
    C.A.R. Hoare. Unifying theories: a personal statement. ACM Computing Surveys, 1996, 28A(4).Google Scholar
  13. [LZ92]
    P. Loucopoulos and R. Zicari. Conceptual Modelling, Database and Case. Wiley, 1992.Google Scholar
  14. [Mor90]
    C. Morgan. Programming from Specifications. Prentice-Hall International, 1990.zbMATHGoogle Scholar
  15. [Mos86]
    B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, UK, 1986.Google Scholar
  16. [Mos94]
    B. Moszkowski. Some very compositional temporal properties. In E.-R. Olderog (ed.), Programming Concepts, Methods and Calculi, volume IFIP Transactions, Vol. A-56. North-Holland, 1994, pp. 307–326.Google Scholar
  17. [MSV92]
    J.M. Mylopoulos, J.W. Schmidt and Y. Vassiliou. Daida: an environment for evolving information systems. ACM Transaction on Information Systems, 1992, 10.Google Scholar
  18. [NGj92]
    C. Nellborn, M.R. Gostafasson and J.A. Bubenko Jr. Enterprise modelling: an approach to capture requirements. Technical Report E6612/SISU/31RIA, SISU, Kista, Sweden, 1992.Google Scholar
  19. [Pot89]
    C. Potts. A generic model for representing design methods. In Proceedings of the 11th International Conference on SE,1989.Google Scholar
  20. [RJG+92]
    T. Rose, M. Jarke, M. Gocek, C. Maltzahn and H. Nissen. A decision-based con-guration process environment. Software Engineering Journal,1992, 6.Google Scholar
  21. [Ro193]
    C. Rolland. Modelling the requirements engineering process. In Proceedings of the Fino-Japanese seminar on Conceptual Modelling, 1993.Google Scholar
  22. [RT98]
    B. Rumpe and V. Thurner. Refining business processes. Technical Report TUM-1986, Technical University of Munich, 1998.Google Scholar
  23. [Sea79]
    J.R. Searle. Expression and Meaning. Cambridge University Press, 1979.CrossRefGoogle Scholar
  24. [ZCC99]
    H. Zedan, A. Cau and Z. Chen. Atom: an object-based formal method for real-time systems. Annals of Software Engineering, 1999, 7.Google Scholar
  25. [ZCM99]
    H. Zedan, A. Cau and B.C. Moszkowski. Compositional modelling: the formal perspective. In Proceedings of Workshop on Systems Modelling for Business Process Improvement,Belfast, 1999.Google Scholar
  26. [ZZC99]
    K. Zhou, H. Zedan and A. Cau. A framework for analysing the effect of change in legacy code. In Proceedings of ICSM ‘89. IEEE Press, 1999.Google Scholar

Copyright information

© Springer-Verlag London 2000

Authors and Affiliations

  • A. Cau
  • H. Zedan

There are no affiliations available

Personalised recommendations