Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
Chaochen, Z., Hoare, C.A.R., Ravn, A.P.: A Calculus of Durations. Information Processing Letters 40(5), 269–276 (1991)
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)
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)
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)
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)
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)
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)
Jackson, M.A.: Problem Frames — Analysing and structuring software development problems. ACM Press, Pearson Education. Addison–Wesley, Edinburgh Gate, Harlow CM20 2JE, England (2001)
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-6
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bjørner, D. (2003). “What Is an Infrastructure?” Towards an Informatics Answer. In: Aichernig, B.K., Maibaum, T. (eds) Formal Methods at the Crossroads. From Panacea to Foundational Support. Lecture Notes in Computer Science, vol 2757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40007-3_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-40007-3_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20527-2
Online ISBN: 978-3-540-40007-3
eBook Packages: Springer Book Archive