Published:
[Erscheinungsort nicht ermittelbar]: Technical University of Denmark, 2020
Language:
English
Origination:
University thesis:
Dissertation, Technical University of Denmark, 2020
Footnote:
Description:
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."