Domain Science & Engineering. A Foundation for Software Development

Dines Bjørner

Research output: Book/ReportDoctoral thesis

272 Downloads (Pure)

Abstract

The thesis consists of revisions of six previously published papers — presented and submitted as a monograph. 
Chapter 1, Domain Analysis & Description, is the core chapter of the thesis. It studies calculi for the analysis and description of observable static entities (called ‘endurants’) of manifest, discrete dynamics domains. With endurants we then associate “internal” qualities: unique identification, mereology and attributes. By a transcendental deduction we then associate time-evolving behaviours with discrete endurants — and it is shown how the signature of such behaviours follows from ‘internal’ qualities of the discrete endurants.
Chapter 2, Domain Facets: Analysis & Description, studies further classes of properties of manifest, discrete dynamics domains: technology support, rules & regulations, scripts, license languages, management & organisation, and human behaviour. 
Chapter 3, Formal Models of [Analysis & Description] Processes and Prompts, presents a suitable mathematical model of the domain analysis & description process. 
Chapter 4, To Every Manifest Domain Mereology [there corresponds] a CSP Expression, shows how Stanisław Le ́sniewski’s axiom system for mereology has a model in the way we (f.ex., in Chapter 1) describe such domains. 
Chapter 5, From Domain Descriptions to Requirements Prescriptions, shows how one can rigorously derive requirements prescriptions from domain descriptions. We introduce, as new concepts, projection, instantiation, determination, extension, and the “fitting” of domain/requirements specifications. So-called “user” and “system” requirements are replaced by interface, derived and machine requirements. 
Chapter 6, Demos, Simulators, Monitors and Controllers, is a somewhat “lightweight” chapter: an interpretation of the of the mutual dependencies, which the triptych — of domain, requirements and program specifications — makes possible in the interpretation of the concepts of simulation, monitoring and control. 
Chapter 7, Summing Up, summarises and concludes.
Original languageEnglish
PublisherTechnical University of Denmark
Number of pages282
ISBN (Print)978-87-643-2002-2
ISBN (Electronic)978-87-643-2003-9
Publication statusPublished - 2020

Fingerprint Dive into the research topics of 'Domain Science & Engineering. A Foundation for Software Development'. Together they form a unique fingerprint.

Cite this