Domain analysis and description principles, techniques, and modelling languages

Dines Bjørner*

*Corresponding author for this work

Research output: Contribution to journalJournal articleResearchpeer-review

Abstract

Domain science and engineering marks a new area of computing science. Just as we are formalising the syntax and semantics of programming languages, so we are formalising the syntax and semantics of human-assisted domains. Just as physicists are studying the natural physical world, endowing it with mathematical models, so we, computing scientists, are studying these domains, endowing them with mathematical models, A difference between the endeavours of physicists and ours lies in the tools: The physics models are based on classical mathematics, differential equations and integrals, and so on; our models are based on mathematical logic, set theory, and algebra [1]. Where physicists thus classically use a variety of differential and integral calculi to model the physical world, we shall be using the analysis and description calculi presented in this article to model primarily artifactual domains.

Original languageEnglish
Article number8
JournalACM Transactions on Software Engineering and Methodology
Volume28
Issue number2
Number of pages67
ISSN1049-331X
DOIs
Publication statusPublished - 1 Apr 2019

Keywords

  • Domain analysis and description calculi
  • Domain engineering
  • Transcendental deduction

Fingerprint Dive into the research topics of 'Domain analysis and description principles, techniques, and modelling languages'. Together they form a unique fingerprint.

Cite this