“What Is an Infrastructure?” Towards an Informatics Answer

  • Dines Bjørner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2757)


We briefly discuss the dogmas of a domain engineering oriented and a formal techniques based approach to software engineering. Then we try delineate the concepts of infrastructure and infrastructure components. Finally we hint at an abstract example work flow domain model: transaction script work flows. It is claimed that such are one of the core informatics characteristics of infrastructure components. The paper ends with some reflections on 10 years of UNU/IIST.


Work Station Business Process Software Engineering Domain Description Client State 
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. 1.
    Bjørner, D.: Domain Models of “The Market” — in Preparation for E– Transaction Systems. In: Kilov, H., Baclawski, K. (eds.) Practical Foundations of Business and System Specifications, The Netherlands, 34 pages. Kluwer Academic Press, Dordrecht (2002)Google Scholar
  2. 2.
    Bjørner, D.: “What is a Method?” — An Essay of Some Aspects of Software Engineering. In: Monographs in Computer Science. IFIP: International Federation for Information Processing. ch. 9, pp. 175–203. Springer, New York (2003)Google Scholar
  3. 3.
    Bjørner, D.: The SE Book: Principles and Techniques of Software Engineering, vol. I: Abstraction & Modelling (750 pages), II: Descriptions and Domains (est.: 500 pages), III: Requirements, Software Design and Management (est. 450 pages), [Publisher currently (June 2003) being negotiated], (2003–2004)Google Scholar
  4. 4.
    Chaochen, Z.: Duration Calculi: An Overview. In: Pottosin, I.V., Bjorner, D., Broy, M. (eds.) FMP&TA 1993. LNCS, vol. 735, pp. 256–266. Springer, Heidelberg (1993)CrossRefGoogle Scholar
  5. 5.
    Chaochen, Z., Hoare, C.A.R., Ravn, A.P.: A Calculus of Durations. Information Processing Letters 40(5), 269–276 (1991)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Chaochen, Z., Van Hung, D., Xiaoshan, L.: A duration calculus with infinite intervals. In: Reichel, H. (ed.) FCT 1995. LNCS, vol. 965, pp. 16–41. Springer, Heidelberg (1995)Google Scholar
  7. 7.
    Chaochen, Z., Jingzhong, Z., Lu, Y., Xiaoshan, L.: Linear duration invariants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol. 863, pp. 86–109. Springer, Heidelberg (1994)Google Scholar
  8. 8.
    Chaochen, Z., Ravn, A.P., Hansen, M.R.: An extended duration calculus for hybrid systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol. 736, pp. 36–59. Springer, Heidelberg (1993)Google Scholar
  9. 9.
    Chaochen, Z., Xiaoshan, L.: A mean value calculus of durations. In: Roscoe, A.W. (ed.) A Classical Mind: Essays in Honour of C.A.R. Hoare, pp. 431–451. Prentice-Hall, Englewood Cliffs (1994)Google Scholar
  10. 10.
    George, C., Haff, P., Havelund, K., Haxthausen, A., Milne, R., Nielsen, C.B., Prehn, S., Wagner, K.R.: The RAISE Specification Language. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead (1992)Google Scholar
  11. 11.
    George, C., Haxthausen, A., Hughes, S., Milne, R., Prehn, S., Pedersen, J.S.: The RAISE Method. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead (1995)zbMATHGoogle Scholar
  12. 12.
    Jackson, M.A.: Problem Frames — Analysing and structuring software development problems. ACM Press, Pearson Education. Addison–Wesley, Edinburgh Gate, Harlow CM20 2JE, England (2001)Google Scholar
  13. 13.
    Dang Van, H., George, C., Janowski, T., Moore, R. (eds.): Specification Case Studies in RAISE. FACIT: Formal Approaches to Computing and Information Technology. Springer, Heidelberg (April 2002) ISBN 1-85233-359-6Google Scholar
  14. 14.
    Zhiming, L., Ravn, A.P., Sørensen, E.V., Chaochen, Z.: A probabilistic duration calculus. In: Kopetz, H., Kakuda, Y. (eds.) Responsive Computer Systems. Dependable Computing and Fault-Tolerant Systems, vol. 7, pp. 30–52. Springer, New York (1993)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Dines Bjørner
    • 1
  1. 1.Department of Computing Science and Engineering Institute of Informatics and Mathematical ModellingTechnical University of DenmarkKgs.LyngbyDenmark

Personalised recommendations