Skip to main content
SpringerLink
Log in

Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China

  • Chapter
  • First Online:
Symposium on Real-Time and Hybrid Systems

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 11180))

  • 416 Accesses

Abstract

A personal account is given of my scientific work since I retired 10 years ago. This work centers around a new dimension to computing science: that of domain science & engineering. By a domain we shall understand a rationally describable segment of a human assisted reality, i.e., of the world, its physical parts, and living species. These are endurants (“still”), existing in space, as well as perdurants (“alive”), existing also in time. Emphasis is placed on “human-assistedness”, that is, that there is at least one (man-made) artifact and that humans are a primary cause for change of endurant states as well as perdurant behaviours. Section 7 brings my laudatio.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    It is appropriate, at this point, to state that my use of the term ‘domain’ is not related to that of Domains and Processes such as in the Proceedings of 1st International Symposium on Domain Theory, Shanghai, China, October 1999, eds.: Klaus Keimel, Zhang Guo-Qiang, Liu Ying-Ming and Chen Yi-Chang. Springer Science + Business Media, New York, 2001.

  2. 2.

    Publication [13, 15] is a predecessor of [35] which is then a predecessor of [29].

  3. 3.

    Prompt, as a verb: to move or induce to action; to occasion or incite; inspire; to assist (a person speaking) by. ”suggesting something to be said”.

  4. 4.

    — ‘mereology’ will be explained next.

  5. 5.

    – not how it expresses it, as, here, in the RAISE [44] Specification Language, RSL [43].

  6. 6.

    Cf. http://impex2017.loria.fr/.

  7. 7.

    You can find it on the Internet: http://www.imm.dtu.dk/~dibj/2018/tosem/Bjorner-TOSEM.pdf.

  8. 8.

    We have omitted a facet: license languages.

  9. 9.

    Our notation now is not RSL but a conventional first-order predicate logic notation.

  10. 10.

    Sørlander makes his logical reasoning and transcendental deductions on the basis of the possibility of truth – where Immanuel Kant [45], according to Sørlander, builds on the possibility of self-awareness, which is shown to lead to contradictions.

  11. 11.

    Kant assumes space and time.

  12. 12.

    We shall here give an example of intentional “pull”: humans create automobiles and roads. An intention of automobiles is to drive on roads, and an intention of roads is to have automobiles move along roads. We can thus speak of the traffic history of an automobile as the time-stamped sequence of vehicle positions along roads, and of the traffic history of a road as the time-stamped sequence of vehicle positions along that road. Now, for the sum total of all automobiles and all roads the two consolidate histories must be identical. It cannot be otherwise.

  13. 13.

    With Asger Eir.

  14. 14.

    With Klaus Havelund.

References

  1. Anon: C.C.I.T.T. High Level Language (CHILL), Recommendation Z.200, Red Book Fascicle VI.12. See [47], ITU (Intl. Telecmm. Union), Geneva, Switzerland (1980–1985)

    Google Scholar 

  2. Bjørner, D.: Programming languages: formal development of interpreters and compilers. In: Morlet, E., Ribbens, D. (eds.) International Computing Symposium, vol. 77, pp. 1–21. European ACM, North-Holland Publ. Co., Amsterdam (1977)

    Google Scholar 

  3. Bjørner, D.: Formal software techniques in railway systems. In: Schnieder, E. (ed.) 9th IFAC Symposium on Control in Transportation Systems, pp. 1–12. VDI/VDEGesellschaft Mess- und Automatisieringstechnik, VDIGesellschaft für Fahrzeug- und Verkehrstechnik, Technical University, Braunschweig, Germany (13–15 June 2000), invited talk

    Google Scholar 

  4. 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. Kluwer Academic Press, The Netherlands (December 2002), Final draft version. http://www2.imm.dtu.dk/~db/themarket.pdf

  5. Bjørner, D.: Dynamics of railway nets: on an interface between automatic control and software engineering. In: Tsugawa, S., Aoki, M. (eds.) CTS2003: 10th IFAC Symposium on Control in Transportation Systems. Elsevier Science Ltd., Oxford, UK (August 4–6 2003). https://doi.org/10.1016/S1474-6670(17)32424-2, Symposium Held at Tokyo, Japan. Final version. http://www2.imm.dtu.dk/~db/ifac-dynamics.pdf

    Article  Google Scholar 

  6. Bjørner, D.: Software Engineering, Volume 3: Domains, Requirements and Software Design. Texts in Theoretical Computer Science, the EATCS Series. Springer, Berlin (2006), See [9,11]

    Google Scholar 

  7. Bjørner, D.: A container line industry domain. Technical Report, Fredsvej 11, DK-2840 Holte, Denmark (June 2007), Extensive Draft. http://www2.imm.dtu.dk/~db/container-paper.pdf

  8. Bjørner, Dines: From domain to requirements. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 278–300. Springer, Heidelberg (May 2008). https://doi.org/10.1007/978-3-540-68679-8_18

    Chapter  Google Scholar 

  9. Bjørner, D.: Software Engineering, Volume 3: Domains, Requirements and Software Design (Qinghua University Press). Springer, Berlin (2008)

    Google Scholar 

  10. Polkowski, Lech: Mereology in engineering and computer science. In: Calosi, Claudio, Graziani, Pierluigi (eds.) Mereology and the Sciences. SL, vol. 371, pp. 47–70. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-05356-1_10

    Chapter  Google Scholar 

  11. Bjørner, D.: Chinese: Software Engineering, Volume 3: Domains, Requirements and Software Design (Qinghua University Press). Springer, Berlin (2010) (Translated by Dr Liu Bo Chao et al.)

    Google Scholar 

  12. Bjørner, D.: Domain engineering. In: Boca, P., Bowen, J. (eds.) Formal Methods: State of the Art and New Directions, pp. 1–42. Springer, London (2010). https://doi.org/10.1007/978-1-84882-736-3_1

    Google Scholar 

  13. Bjørner, D.: Domain Science & Engineering - From Computer Science to The Sciences of Informatics, Part I of II: The Engineering Part. Kibernetika i sistemny analiz, vol. 4, pp. 100–116 (2010)

    Google Scholar 

  14. Bjørner, D.: On Development of Web-based Software: A Divertimento of Ideas and Suggestions. Technical, Technical University of Vienna (August–October 2010). http://www.imm.dtu.dk/~dibj/wfdftp.pdf

  15. Bjørner, D.: Domain Science & Engineering - From Computer Science to The Sciences of Informatics Part II of II: The Science Part. Kibernetika i sistemny analiz, vol. 2, pp. 100–120 (2011)

    Google Scholar 

  16. Bjørner, Dines: Domains: their simulation, monitoring and control—a divertimento of ideas and suggestions. In: Calude, Cristian S., Rozenberg, Grzegorz, Salomaa, Arto (eds.) Rainbow of Computer Science. LNCS, vol. 6570, pp. 167–183. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-19391-0_13

    Chapter  Google Scholar 

  17. Bjørner, D.: Domain science and engineering as a foundation for computation for humanity. In: Zander, J., Mosterman, P.J. (eds.) Computational Analysis, Synthesis, and Design of Dynamic Systems, pp. 159–177. CRC [Francis & Taylor] (2013)

    Google Scholar 

  18. Bjørner, D.: Pipelines - a Domain Description. http://www.imm.dtu.dk/~dibj/pipe-p.pdf. Experimental Research Report 2013–2, DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark (Spring 2013)

  19. Bjørner, D.: Road Transportation - a Domain Description. http://www.imm.dtu.dk/~dibj/road-p.pdf. Experimental Research Report 2013–4, DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark (Spring 2013)

  20. Bjørner, D.: Domain Analysis: Endurants - An Analysis & Description Process Model. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi. Springer, Berlin (May 2014)

    Google Scholar 

  21. Bjørner, D.: Domain Engineering - A Basis for Safety Critical Software. Invited Keynote, ASSC2014: Australian System Safety Conference, Melbourne, 26–28 May (December 2014)

    Google Scholar 

  22. Bjørner, D.: A Credit Card System: Uppsala Draft. Technical Report: Experimental Research, Fredsvej 11, DK-2840 Holte, Denmark (November 2016). http://www.imm.dtu.dk/~dibj/2016/credit/accs.pdf

  23. Bjørner, D.: Domain Analysis and Description - Formal Models of Processes and Prompts (2016), extensive revision of [20]. http://www.imm.dtu.dk/~dibj/2016/process/process-p.pdf

  24. Bjørner, D.: Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions. Technical report Fredsvej 11, DK-2840 Holte, Denmark (2016), extensive revision of [16]. http://www.imm.dtu.dk/~dibj/2016/demo/faoc-demo.pdf

  25. Bjørner, D.: From Domain Descriptions to Requirements Prescriptions - A Different Approach to Requirements Engineering (2016), Extensive revision of [8]

    Google Scholar 

  26. Bjørner, D.: Weather Information Systems: Towards a Domain Description. Technical Report: Experimental Research, Fredsvej 11, DK-2840 Holte, Denmark (November 2016), http://www.imm.dtu.dk/~dibj/2016/wis/wis-p.pdf

  27. Bjørner, D.: A Space of Swarms of Drones. Research Note (November–December 2017). http://www.imm.dtu.dk/~dibj/2017/swarms/swarm-paper.pdf

  28. Bjørner, D.: What are Documents? Research Note (2017). http://www.imm.dtu.dk/~dibj/2017/docs/docs.pdf

  29. Bjørner, D.: A Domain Analysis & Description Method - Principles, Techniques and Modeling Languages. Research Note based on [35] (February 20 2018). http://www.imm.dtu.dk/~dibj/2018/tosem/Bjorner-TOSEM.pdf

  30. Bjørner, D.: A Philosophy of Domain Science & Engineering - An Interpretation of Kai Sørlander’s Philosophy. Research Note (Spring 2018). http://www.imm.dtu.dk/~dibj/2018/philosophy/filo.pdf

  31. Bjørner, D.: Domain Facets: Analysis & Description (May 2018), extensive revision of [12]. http://www.imm.dtu.dk/~dibj/2016/facets/faoc-facets.pdf

  32. Bjørner, D.: The Manifest Domain Analysis & Description Approach to Implicit and Explicit Semantics. EPTCS: Electronic Proceedings in Theoretical Computer Science, Yasmine Ait-Majeur, Paul J. Gibson and Dominique Méry: First International Workshop on Handling IMPlicit and EXplicit Knowledge in Formal Fystem Development, 17 November 2017. Xi’an, China (2018)

    Google Scholar 

  33. Bjørner, D.: To every manifest domain a CSP expression – a rôle for mereology in computer science. J. Log. Algebr. Methods Program. 94, 91–108 (2018). https://doi.org/10.1016/j.jlamp.2017.09.005. January

    Article  MathSciNet  MATH  Google Scholar 

  34. Bjørner, D.: The Tokyo Stock Exchange Trading Rules. R&D Experiment, Fredsvej 11, DK-2840 Holte, Denmark (January and February, 2010), Version 1.http://www2.imm.dtu.dk/~db/todai/tse-1.pdf, Version 2.http://www2.imm.dtu.dk/~db/todai/tse-2.pdf

  35. Bjørner, D.: Manifest domains: analysis & description. Form. Asp. Comput. 29(2), 175–225 (2016). https://doi.org/10.1007/s00165-016-0385-z

    Article  MathSciNet  Google Scholar 

  36. Bjørner, Dines, Eir, Asger: Compositionality: ontology and mereology of domains. In: Dams, Dennis, Hannemann, Ulrich, Steffen, Martin (eds.) Concurrency, Compositionality, and Correctness. LNCS, vol. 5930, pp. 22–59. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-11512-7_3

    Chapter  MATH  Google Scholar 

  37. Bjørner, D., George, C.W., Prehn, S.: Computing Systems for Railways – A Rôle for Domain Engineering. Relations to Requirements Engineering and Software for Control Applications. In: Integrated Design and Process Technology. Editors: Bernd Kraemer and John C. Petterson. Society for Design and Process Science, P.O. Box 1299, Grand View, Texas 76050–1299, USA (24–28 June 2002), Extended version.http://www2.imm.dtu.dk/~db/pasadena-25.pdf

  38. Bjørner, D., Gram, C., Oest, O.N., Rystrømb, L.: Dansk Datamatik Center. In: Wangler, B., Lundin, P. (eds.) History of Nordic Computing. Springer, Stockholm, Sweden (18–20 October 2010)

    Google Scholar 

  39. Bjørner, Dines, Havelund, Klaus: 40 years of formal methods — 10 obstacles and 3 possibilities. In: Jones, Cliff, Pihlajasaari, Pekka, Sun, Jun (eds.) FM 2014. LNCS, vol. 8442, pp. 42–61. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-06410-9_4

    Chapter  MATH  Google Scholar 

  40. Bjørner, D., Nest, O.N. (eds.): Towards a Formal Description of Ada. LNCS, vol. 98. Springer, Heidelberg (1980). https://doi.org/10.1007/3-540-10283-3

    Book  MATH  Google Scholar 

  41. Bjørner, D.: Urban Planning Processes. Research Note (July 2017). http://www.imm.dtu.dk/~dibj/2017/up/urban-planning.pdf

  42. Clemmensen, G., Oest, O.: Formal specification and development of an Ada compiler - a VDM case study. In: Proceedings of the 7th International Conference on Software Engineering, 26–29. March 1984, Orlando, Florida, pp. 430–440. IEEE (1984)

    Google Scholar 

  43. George, C.W., et al.: The RAISE Specification Language. The BCS Practitioner Series. Hemel Hampstead, Prentice-Hall, England (1992)

    Google Scholar 

  44. George, C.W., Haxthausen, A.E., Hughes, S., Milne, R., Prehn, S., Pedersen, J.S.: The RAISE Development Method. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead, England (1995)

    Google Scholar 

  45. Guyer, P. (ed.): The Cambridge Companion to Kant. Cambridge University Press, England (1992)

    Google Scholar 

  46. Haff, Peter, Olsen, Anders: Use of VDM within CCITT. In: Bjørner, Dines, Jones, Cliff B., Mac an Airchinnigh, Mícheál, Neuhold, Erich J. (eds.) VDM 1987. LNCS, vol. 252, pp. 324–330. Springer, Heidelberg (1987). https://doi.org/10.1007/3-540-17654-3_18

    Chapter  Google Scholar 

  47. Haff, P. (ed.): The Formal Definition of CHILL. ITU (Intl. Telecmm. Union), Geneva, Switzerland (1981)

    Google Scholar 

  48. Hoare, C.: Communicating Sequential Processes. C.A.R. Hoare Series in Computer Science. Prentice-Hall International (1985), published electronically: http://www.usingcsp.com/cspbook.pdf (2004)

  49. Jackson, M.A.: Software Requirements & Specifications: A Lexicon of Practice, Principles and Prejudices. ACM Press, Addison-Wesley, Reading, England (1995)

    Google Scholar 

  50. Oest, O.N.: VDM from research to practice (invited paper). In: IFIP Congress, pp. 527–534 (1986)

    Google Scholar 

  51. Pěnička, M., Strupchanska, A.K., Bjørner, D.: Train maintenance routing. In: Tarnai, G., Schnieder, E. (eds.) FORMS’2003: Symposium on Formal Methods for Railway Operation and Control Systems. L’Harmattan Hongrie (15–16 May 2003), conf. held at Technical University of Budapest, Hungary, Germany. Final version. http://www2.imm.dtu.dk/~db/martin.pdf

  52. Sørlander, K.: Det Uomgængelige - Filosofiske Deduktioner [The Inevitable - Philosophical Deductions, with a foreword by Georg Henrik von Wright]. Munksgaard \(\cdot \) Rosinante, 168 p. (1994)

    Google Scholar 

  53. Sørlander, K.: Under Evighedens Synsvinkel [Under the viewpoint of eternity]. Munksgaard \(\cdot \) Rosinante, 200 p. (1997)

    Google Scholar 

  54. Sørlander, K.: Den Endegyldige Sandhed [The Final Truth]. Rosinante, 187 p. (2002)

    Google Scholar 

  55. Sørlander, K.: Indføring i Filosofien [Introduction to The Philosophy]. Informations Forlag, 233 p. (2016)

    Google Scholar 

  56. Strupchanska, A.K., Pěnička, M., Bjørner, D.: Railway staff rostering. In: Tarnai, G., Schnieder, E. (eds.) FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems. L’Harmattan Hongrie (15–16 May 2003), conf. held at Techn. Univ. of Budapest, Hungary, Germany. Final version. http://www2.imm.dtu.dk/~db/albena.pdf

Download references

Acknowledgements

I am grateful to Prof. Zhan NaiJun for inviting me to the Zhou ChaoChen Fest and for inviting me to submit my talk as a paper for this Festschrift. I am grateful to my “old student”, now Prof. Ji Wang for his arranging a wonderful stay in Changsha, my fourth visit to that great city, and for his fantastic cheerful welcome.

Author information

Authors and Affiliations

  1. Technical University of Denmark, 2800, Kongens Lyngby, Denmark

    Dines Bjørner

  2. Fredsvej 11, 2840, Holte, Danmark

    Dines Bjørner

Authors
  1. Dines Bjørner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dines Bjørner .

Editor information

Editors and Affiliations

  1. Newcastle University, Newcastle, UK

    Cliff Jones

  2. National University of Defense Technology, Changsha, China

    Ji Wang

  3. Institute of Software, CAS, Beijing, China

    Naijun Zhan

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Bjørner, D. (2018). Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China. In: Jones, C., Wang, J., Zhan, N. (eds) Symposium on Real-Time and Hybrid Systems. Lecture Notes in Computer Science(), vol 11180. Springer, Cham. https://doi.org/10.1007/978-3-030-01461-2_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-01461-2_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-01460-5

  • Online ISBN: 978-3-030-01461-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation