A rule language to capture and model business policy specifications

  • Peter Mc. Brien
  • Marc Niézette
  • Dionysios Pantazis
  • Anne Helga Seltveit
  • Ulf Sundin
  • Babis Theodoulidis
  • Gregoris Tziallas
  • Rolf Wohed
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 498)


The TEMPORA paradigm for the development of large data intensive, transaction oriented information systems explicitly recognises the role of organisational policy within an information system, and visibly maintains this policy throughout the software development process, from requirements specifications through to an executable implementation.

This paper introduces the External Rule Language of the TEMPORA conceptual modelling formalism, and describes how it is used to captured and model business organisational policy. The syntax and semantics of the language are presented, together with a number of examples drawn from a realistic case study.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ber86]
    Berztiss, A. The Set-Function Approach to Conceptual Modelling, in ‘Information system design methodologies: improving the practice’ Olle, T.W., Sol, H.G, Verrijn Stuart, A.A., (eds), North Holland (1986).Google Scholar
  2. [Bor85]
    A. Borgida, Language Features for Flexible Handling of Exceptions in Information Systems, ACM Transactions on Database Systems, Vol. 10, No. 4, December 1985, pp. 565–603.CrossRefGoogle Scholar
  3. [Bro82]
    Brodie, M.L. & Silva, E. Active and Passive component modelling (ACM/PCM), in ‘Information system design methodologies: a comparitive review', eds Olle T.W., Sol H.G. and Verrijn Stuart A.A., North-Holland (1982).Google Scholar
  4. [Cas79]
    Casanova M.A., Bernstein P.A The Logic of a Data Manipulation Language, In Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages (San Antonio, Texas), ACM, New York, 1979.Google Scholar
  5. [Cli83]
    Clifford J., Warren D.S. Formal Semantics for Time in Databases ACM TODS Vol.8, No.2, June 1983.Google Scholar
  6. [Cli85]
    Clifford J. Towards an Algebra of Historical Relational Databases ACM SiGMOD Intern. Conf. on Management of Data, Austin, Texas, May 1985.Google Scholar
  7. [Dub86]
    Dubois E., et al The ERAE Model: A Case Study in [Oll86].Google Scholar
  8. [Jon81]
    Jones C.B., Software development: a rigorous approach, Prentice Hall, London, 1981.Google Scholar
  9. [Kro91]
    Krogstie J., McBrien P.J., Owens R.P., Seltveit A.H., Coupling between Process and Rule Based Approaches, CAiSE '91.Google Scholar
  10. [Lou89]
    Loucopoulos, P. The RUBRIC Project — Integrating E-R, Object and Rule-based Paradigms, Workshop session on Design Paradigms, European Conference on Object Oriented Programming (ECOOP), 10–13 July 1989, Nottingham, U.K.Google Scholar
  11. [Lou90]
    Loucopoulos P., et al TEMPORA — Intergrating Database Technology, Rule Based Systems and Temporal Reawoning for Effective Software, Esprit '90 Conference Proceedings, Kluwer Academic Publishers (1990).Google Scholar
  12. [Lun89]
    Lundh J. & Rosengren P., HYBRIS — A First Step Towards Efficient Information Management, SISU rapport nr 5 (1989), Swedish Institute for Systems Development, SwedenGoogle Scholar
  13. [Nic78a]
    Nicolas, J.M., Gallaire, H. Data Base: Theory vs Interpretation, In Logic and Data Bases, Gallaire, H., Minker, J. (eds), Plenum Press, New York, 1978.Google Scholar
  14. [Nic78b]
    Nicolas, J.M., Yazdanian, K. Integrity Checking in Deductive Databases, In Logic and Data Bases, Gallaire, H., Minker, J. (eds), Plenum Press, New York, 1978.Google Scholar
  15. [Oll82]
    Olle, T.W., Sol, H.G., Verrijn Stuart, A.A. Information systems design methodologies: a comparitive review, IFIP WG 8.1 CRIS I, North Holland (1982).Google Scholar
  16. [Oll83]
    Olle, T.W., Sol, H.G., Tully, C.J. Information systems design methodologies: a feature analysis, IFIP WG 8.1 CRIS II, North Holland, 1983.Google Scholar
  17. [Oll86]
    Olle, T.W., Sol, H.G., Verrijn-Stuart, A.A. Information Systems Design Methodologies: Improving the Practice, Proc IFIP WG 8.1 Working Conference on Comparative Review of Information Systems Design Methodologies: Improving the Practice, Noordwijkerhout, The Netherlands, 5–7 May, 1986.Google Scholar
  18. [Ros77]
    Ross, D.T. and Schoman, K.E. Structured Analysis for requirements definition, IEEE Trans SE 3(1), 1977, p.p. 1–65.Google Scholar
  19. [Rub89]
    Case Study Report: Irish Electricity Supply Board, UMIST, Rubric Esprit Project 928Google Scholar
  20. [Smi77]
    Smith J.M., Smith D.C.P. Database Abstractions: Aggregation and Generalization, ACM TODS 2(2), June 1977.Google Scholar
  21. [Søl90]
    Sølvberg A., Kung C. Information Systems Engineering, Draft version, University of Trondheim, Norway, January 1990.Google Scholar
  22. [The90]
    Theodoulidis, C., Wangler, B. and Loucopoulos, P. Requirements Specification in TEMPORA, 2nd Nordic Conference on Advanced Information Systems Engineering (CAiSE90), Kista, Sweden, May 1990.Google Scholar
  23. [vanA88]
    van Assche, F., Loucopoulos, P., Speltincx, G., Venken, R. Development of Information Systems: A Rule Based Approach, Proceedings IFIP TC2/TC8 Working Conference on ‘The Role of AI in Databases and Information Systems', Canton, China, July, 1988, North Holland.Google Scholar
  24. [Ver82]
    Verheijen G. and Van Bekkum, J. NIAM: an information analysis method, in ISDM, a comparative review, North Holland (1982), IFIP.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Peter Mc. Brien
    • 1
  • Marc Niézette
    • 2
  • Dionysios Pantazis
    • 3
  • Anne Helga Seltveit
    • 4
  • Ulf Sundin
    • 5
  • Babis Theodoulidis
    • 3
  • Gregoris Tziallas
    • 6
  • Rolf Wohed
    • 7
  1. 1.Dept. of ComputingImperial CollegeLondonUK
  2. 2.Service d'InformatiqueUniversite de LiègeLiègeBelgium
  3. 3.Dept. of ComputationUMISTManchesterUK
  4. 4.Div. of Computer ScienceUniversity of TrondheimTrondheim-NthNorway
  5. 5.InfologicsGotebergSweden
  6. 6.Hitec LtdAthensGreece
  7. 7.SISUKistaSweden

Personalised recommendations