{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T10:49:28Z","timestamp":1772794168396,"version":"3.50.1"},"reference-count":108,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2017,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show that manifest domains, an understanding of which are a prerequisite for software requirements prescriptions, can be precisely described: narrated and formalised. We show that such manifest domains can be understood as a collection of endurant, that is, basically spatial entities: parts, components and materials, and perdurant, that is, basically temporal entities: actions, events and behaviours. We show that parts can be modeled in terms of external qualities whether: atomic or composite parts, having internal qualities: unique identifications, mereologies, which model relations between parts, and attributes. We show that the manifest domain analysis endeavour can be supported by a calculus of manifest domain analysis prompts: is_entity, is_endurant, is_perdurant, is_part, is_component, is_material, is_atomic, is_composite, has_components, has_materials, has_concrete_type, attribute_names, is_stationary, etcetera; and show how the manifest domain description endeavour can be supported by a calculus of manifest domain description prompts: observe_part_sorts, observe_part_type, observe_components, observe_materials, observe_unique_identifier, observe_mereology, observe_attributes. We show how to model attributes, essentially following Michael Jackson (Software requirements &amp; specifications: a lexicon of practice, principles and prejudices. ACM Press, Addison-Wesley, Reading,<jats:xref ref-type=\"bibr\">1995<\/jats:xref>), but with a twist: The attribute model introduces the attribute analysis prompts is_static_attribute, is_dynamic_attribute, is_inert_attribute, is_reactive_attribute, is_active_attribute, is_autonomous_attribute, is_biddable_attribute and is_programmable_attribute. The twist suggests ways of modeling \u201caccess\u201d to the values of these kinds of attributes: the static attributes by simply<jats:italic>\u201ccopying\u201d<\/jats:italic>them, once, the reactive and programmable attributes by<jats:italic>\u201ccarrying\u201d<\/jats:italic>them as function parameters whose values are kept always updated, and the remaining, the external_attributes, by inquiring, when needed, as to their value, as if they were always offered on CSP-like channels (Hoare, Communicating sequential processes. C.A.R. Hoare series in computer science. Prentice-Hall International, London,<jats:xref ref-type=\"bibr\">2004<\/jats:xref>). We show how to model essential aspects of perdurants in terms of their signatures based on the concepts of endurants. And we show how one can \u201ccompile\u201d descriptions of endurant parts into descriptions of perdurant behaviours. We do not show prompt calculi for perdurants. The above contributions express a method with principles, techniques and tools for constructing domain descriptions. It is important to realise that we do not wish to nor claim that the method can describe all that it is interesting to know about domains.<\/jats:p>","DOI":"10.1007\/s00165-016-0385-z","type":"journal-article","created":{"date-parts":[[2016,7,26]],"date-time":"2016-07-26T09:41:27Z","timestamp":1469526087000},"page":"175-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Manifest domains: analysis and description"],"prefix":"10.1145","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6225-6808","authenticated-orcid":false,"given":"Dines","family":"Bj\u00f8rner","sequence":"first","affiliation":[{"name":"Fredsvej 11, 2840, Holte, Denmark"},{"name":"DTU, 2800, Kgs. Lyngby, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"Abrial J (2009) The B book: assigning programs to meanings and Modeling in event-B: system and software engineering. Cambridge University Press Cambridge (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"e_1_2_1_2_2_2","volume-title":"The Cambridge dictionary of philosophy","author":"Audi R","year":"1995"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Bachman C (1969) Data structure diagrams. Data Base J ACM SIGBDP 1(2)","DOI":"10.1145\/1017466.1017467"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Badiou A (2005) Being and event. Continuum (L\u00eatre et l\u2019\u00e9v\u00e9nements Edition du Seuil 1988)","DOI":"10.5040\/9781350252035"},{"key":"e_1_2_1_2_5_2","volume-title":"The description logic handbook: theory, implementation and applications","author":"Baader F","year":"2003"},{"issue":"4","key":"e_1_2_1_2_6_2","first-page":"247","article-title":"Endurants and perdurants in directly depicting ontologies","volume":"17","author":"Bittner T","year":"2004","journal-title":"AI Commun"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner D Eir A (2010) Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering in July 2008 eds. Martin Steffen Dennis Dams and Ulrich Hannemann. In: Festschrift for Prof. Willem Paul de Roever concurrency compositionality and correctness.Lecture notes in computer science vol 5930 pp 22\u201359 Springer Heidelberg","DOI":"10.1007\/978-3-642-11512-7_3"},{"key":"e_1_2_1_2_8_2","unstructured":"Benjamins VR Fensel D (1998) The ontological engineering initiative (KA)2. Internet publication +\u00a0 formal ontology in information systems University of Amsterdam SWI Amsterdam University of Karlsruhe AIFB Karlsruhe. http:\/\/www.aifb.uni-karlsruhe.de\/WBS\/broker\/KA2.htm"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner D George CW Haxthausen AE Madsen CK Holmslykke S P\u011bni\u010dka M (2004) \u201cUML\"-ising formal techniques. In: INT 2004: third international workshop on integration of specification techniques for applications in engineering. Lecture notes in computer science vol 3147 pp 423\u2013450. Springer 28 March 2004 ETAPS Barcelona (final version). http:\/\/www.imm.dtu.dk\/~db\/fmuml.pdf","DOI":"10.1007\/978-3-540-27863-4_24"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/978-3-540-32254-2_14","volume-title":"Mechanizing mathematical reasoning.","author":"Baader F","year":"2005"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner D Jones CB (eds) (1978) The Vienna development method: the meta-language. LNCS vol 61. Springer New York","DOI":"10.1007\/3-540-08766-4"},{"key":"e_1_2_1_2_12_2","volume-title":"Formal specification and software development","author":"Bj\u00f8rner D","year":"1982"},{"key":"e_1_2_1_2_13_2","unstructured":"Bj\u00f8rner D (1997) Michael Jackson\u2019s problem frames: domains requirements and design. In: ShaoYang L Hinchley M (eds) ICFEM\u201997: international conference on formal engineering methods Los Alamitos 12\u201314 November 1997. IEEE Computer Society New York (final version). http:\/\/www.imm.dtu.dk\/~db\/.pdf"},{"key":"e_1_2_1_2_14_2","unstructured":"Bj\u00f8rner D (2003) Domain engineering: a \"radical innovation\" for systems and software engineering? In: Verification: theory and practice. Lecture notes in computer science vol 2772 Heidelberg 7\u201311 October 2003. Springer. The Zohar Manna International Conference Taormina Sicily 29 June\u20134 July 2003. http:\/\/www2.imm.dtu.dk\/~db\/zohar.pdf"},{"key":"e_1_2_1_2_15_2","unstructured":"Bj\u00f8rner D (2006) Software engineering vol 3. Domains requirements and software design. Texts in theoretical computer science the EATCS series. Springer New York"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner D (2007) Domain theory: practice and theories discussion of possible research topics. In: Woodcock et\u00a0al (eds) ICTAC\u20192007 vol 4701 of Lecture notes in computer science. Springer Heidelberg pp 1\u201317","DOI":"10.1007\/978-3-540-75292-9_1"},{"key":"e_1_2_1_2_17_2","first-page":"1","volume-title":"Montanari festschrift, vol 5065 of Lecture notes in computer science.","author":"Bj\u00f8rner D","year":"2008"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner D (2009) On mereologies in computing science. In: Jones CB Roscoe AW Wood KR (eds) Festschrift: reflections on the work of C.A.R. Hoare. History of computing. Springer London pp 47\u201370","DOI":"10.1007\/978-1-84882-912-1_3"},{"key":"e_1_2_1_2_19_2","first-page":"1","volume-title":"Formal methods: state of the art and new directions.","author":"Bj\u00f8rner D","year":"2010"},{"key":"e_1_2_1_2_20_2","first-page":"100","article-title":"Domain science & engineering\u2014 from computer science to the sciences of informatics, Part I of II: the engineering part","volume":"4","author":"Bj\u00f8rner D","year":"2010","journal-title":"Kibern Sist Anal"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner D (2010) The r\u00f4le of domain engineering in software development. Why current requirements engineering seems flawed! In: Perspectives of systems informatics vol 5947 of Lecture notes in computer science pp 2\u201334 Springer Heidelberg 27 January 2010","DOI":"10.1007\/978-3-642-11486-1_2"},{"issue":"1","key":"e_1_2_1_2_22_2","first-page":"1","article-title":"Believable software management","volume":"1","author":"Bj\u00f8rner D","year":"2011","journal-title":"Encycl Softw Eng"},{"key":"e_1_2_1_2_23_2","first-page":"100","article-title":"Domain Science & Engineering\u2014 from computer science to the sciences of informatics Part II of II: the science part","volume":"2","author":"Bj\u00f8rner D","year":"2011","journal-title":"Kibern Sist Anal"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner D (2011) Domains: their simulation monitoring and control\u2014a divertimento of ideas and suggestions. In: Calude C Rozenberg G Saloma A (eds) Rainbow of computer science Festschrift for Hermann Maurer on the occasion of his 70th anniversary. pp 167\u2013183. Springer Heidelberg","DOI":"10.1007\/978-3-642-19391-0_13"},{"key":"e_1_2_1_2_25_2","unstructured":"Bj\u00f8rner D (2013) Domain science and engineering as a foundation for computation for humanity chap 7 pp 159\u2013177. In: Zander J Mosterman PJ (eds) Computational analysis synthesis and design of dynamic systems. CRC (Francis & Taylor)"},{"key":"e_1_2_1_2_26_2","unstructured":"Bj\u00f8rner D (2014) A r\u00f4le for mereology in domain science and engineering. In: Calosi C Graziani P (eds) Synthese library. Springer Amsterdam"},{"key":"e_1_2_1_2_27_2","unstructured":"Bj\u00f8rner D (2014) Domain analysis: endurants\u2014an 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 New York"},{"key":"e_1_2_1_2_28_2","unstructured":"Bj\u00f8rner D (2014) Domain engineering\u2014a basis for safety critical software. in: Invited keynote ASSC2014: Australian system safety conference Melbourne 26\u201328 May 2014"},{"key":"e_1_2_1_2_29_2","unstructured":"Bj\u00f8rner D (2016) Domain facets: analysis & description. Submitted for consideration by formal aspects of computing. http:\/\/www.imm.dtu.dk\/~dibj\/2016\/facets\/faoc-facets.pdf"},{"key":"e_1_2_1_2_30_2","unstructured":"Bj\u00f8rner D (2016) From domain descriptions to requirements prescriptions\u2014a different approach to requirements engineering. Submitted for consideration by formal aspects of computing"},{"key":"e_1_2_1_2_31_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274955"},{"key":"e_1_2_1_2_32_2","unstructured":"Bj\u00f8rner D Nilsson JF (1992) Algorithmic & knowledge based methods: do they \u201cunify\u201d? In: International conference on fifth generation computer systems: FGCS\u201992 pp 191\u2013198. ICOT 1\u20135 June 1992"},{"key":"e_1_2_1_2_33_2","volume-title":"The unified modeling language user guide","author":"Booch G","year":"1998"},{"key":"e_1_2_1_2_34_2","volume-title":"Generative programming: methods, tools, and applications","author":"Czarnecki K","year":"2000"},{"key":"e_1_2_1_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/320434.320440"},{"key":"e_1_2_1_2_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_2_1_2_37_2","unstructured":"Casati R Varzi AC (1996) (eds) Events. Ashgate Publishing Group Dartmouth Publishing Co. Ltd. Surrey 23 March 1996"},{"key":"e_1_2_1_2_38_2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5253.001.0001","volume-title":"Parts and places: the structures of spatial representation","author":"Casati R","year":"1999"},{"key":"e_1_2_1_2_39_2","unstructured":"Casati R Varzi A (2010) Events. In: Zalta EN (ed) The Stanford encyclopedia of philosophy. Springer New York"},{"key":"e_1_2_1_2_40_2","volume-title":"Essays on actions and events","author":"Davidson D","year":"1980"},{"key":"e_1_2_1_2_41_2","doi-asserted-by":"crossref","unstructured":"Dretske F (1967) Can events move? Mind76:479\u2013492 (reprinted in [CV96 1996] pp 415\u2013428)","DOI":"10.1093\/mind\/LXXVI.304.479"},{"key":"e_1_2_1_2_42_2","unstructured":"Dorfman M Thayer RH (1997) (eds) Software requirements engineering. IEEE Computer Society Press New York"},{"key":"e_1_2_1_2_43_2","volume-title":"Being in time: the nature of time in light of McTaggart\u2019s paradox","author":"Farmer DJ","year":"1990"},{"key":"e_1_2_1_2_44_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.07.041"},{"key":"e_1_2_1_2_45_2","doi-asserted-by":"crossref","unstructured":"Fagin R Halpern JY Moses Y Vardi MY (1996) Reasoning about knowledge. The MIT Press Massachusetts Institute of Technology Cambridge","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"e_1_2_1_2_46_2","volume-title":"Modelling systems\u2014practical tools and techniques in software development","author":"Fitzgerald J","year":"1998"},{"key":"e_1_2_1_2_47_2","volume-title":"The fifth generation","author":"Feigenbaum EA","year":"1983","edition":"1"},{"key":"e_1_2_1_2_48_2","doi-asserted-by":"crossref","unstructured":"Furia CA Mandrioli D Morzenti A Rossi M (2012) Modeling time in computing. In: Monographs in theoretical computer science. Springer New York","DOI":"10.1007\/978-3-642-32332-4"},{"key":"e_1_2_1_2_49_2","unstructured":"Futatsugi K Nakagawa A (1997) An overview of CAFE specification environment\u2014an algebraic approach for creating verifying and maintaining formal specifications over networks. In: Proceedings of the 1st international conference on formal engineering methods (ICFEM \u201997) 12\u201314 November 1997 Hiroshima pp 170\u2013182. IEEE New York"},{"key":"e_1_2_1_2_50_2","volume-title":"Domain specific languages","author":"Fowler M","year":"2012"},{"key":"e_1_2_1_2_51_2","doi-asserted-by":"crossref","unstructured":"Feijen WHJ van Gasteren AJM Gries D Misra J (eds) (1990) Beauty is our business. In: Texts and monographs in computer science. Springer New York (a birthday salute to Edsger W. Dijkstra)","DOI":"10.1007\/978-1-4612-4476-9"},{"key":"e_1_2_1_2_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/52.896248"},{"key":"e_1_2_1_2_53_2","unstructured":"George CW Haff P Havelund K Haxthausen AE Milne R Nielsen CB Prehn S Wagner KR (1992) The RAISE specification language. The BCS practitioner series. Prentice-Hall Hemel Hampstead"},{"key":"e_1_2_1_2_54_2","unstructured":"George CW Haxthausen AE Hughes S Milne R Prehn S Pedersen JS (1995) The RAISE development method. The BCS practitioner series. Prentice-Hall Hemel Hampstead"},{"key":"e_1_2_1_2_55_2","unstructured":"Gr\u00f6tker T Liao S Martin G Swan S (2002) System design with SystemC. Kluwer Dordrecht"},{"key":"e_1_2_1_2_56_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal concept analysis\u2014mathematical foundations","author":"Ganter B","year":"1999"},{"key":"e_1_2_1_2_57_2","doi-asserted-by":"crossref","unstructured":"Hacker PMS (1982) Events and objects in space and time. Mind 91:1\u201319 (reprinted in [CV96] pp 429\u2013447)","DOI":"10.1093\/mind\/XCI.361.1"},{"key":"e_1_2_1_2_58_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_2_59_2","unstructured":"Haywood D (2009) Domain-driven design using naked objects. The pragmatic bookshelf (an imprint of \u2018the pragmatic programmers LLC\u2019). http:\/\/pragprog.com\/"},{"key":"e_1_2_1_2_60_2","unstructured":"Heidegger M (1962) Sein und Zeit (being and time). Oxford University Press Oxford (1927)"},{"key":"e_1_2_1_2_61_2","unstructured":"Hoare CAR (2004) Communicating sequential processes. In: C.A.R. Hoare series in computer science. Prentice-Hall International New York (1985; published electronically http:\/\/www.usingcsp.com\/cspbook.pdf"},{"key":"e_1_2_1_2_62_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-009-0143-6"},{"key":"e_1_2_1_2_63_2","unstructured":"ITU-T (1999) CCITT recommendation Z.120: message sequence chart (MSC) (1992 1996)"},{"key":"e_1_2_1_2_64_2","volume-title":"Software requirements & specifications: a lexicon of practice, principles and prejudices","author":"Jackson MA","year":"1995"},{"key":"e_1_2_1_2_65_2","unstructured":"Jackson MA (2001) Problem frames\u2014analyzing and structuring software development problems. ACM Press Pearson Education Addison-Wesley Reading"},{"key":"e_1_2_1_2_66_2","volume-title":"Software abstractions: logic, language, and analysis","author":"Jackson D","year":"2006"},{"key":"e_1_2_1_2_67_2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-1-84882-736-3_2","volume-title":"Formal methods: state of the art and new directions.","author":"Jackson MA","year":"2010"},{"key":"e_1_2_1_2_68_2","doi-asserted-by":"publisher","DOI":"10.5555\/309683"},{"key":"e_1_2_1_2_69_2","doi-asserted-by":"crossref","unstructured":"Jones CB Hayes I Jackson MA (2007) Deriving specfications for systems that are connected to the physical world. In: Jones C Liu Z Woodcock J (eds) Formal methods and hybrid real-time systems: essays in honour of Dines Bj\u00f8rner and Zhou Chaochen on the occasion of their 70th birthdays vol 4700 of Lecture notes in computer science pp 364\u2013390. Springer New York","DOI":"10.1007\/978-3-540-75221-9"},{"key":"e_1_2_1_2_70_2","unstructured":"Johansson I (2005) Qualities quantities and the endurant\u2013perdurant distinction in top-level ontologies. In: Althoff KD Dengel A Bergmann R Nick M Roth-Berghofer Th (eds) Professional knowledge management WM 2005 vol 3782 of Lecture notes in artificial intelligence pp 543\u2013550. Springer New York. 3rd Biennial conference Kaiserslautern Germany 10\u201313 April 2005 (revised selected papers)"},{"key":"e_1_2_1_2_71_2","doi-asserted-by":"crossref","unstructured":"Kang KC Cohen SG Hess JA Novak WE Peterson AS (1990) FODA: feature-oriented domain analysis. Feasibility study CMU\/SEI-90-TR-021. Software Engineering Institute Carnegie Mellon University. http:\/\/www.sei.cmu.edu\/library\/abstracts\/reports\/90tr021.cfm","DOI":"10.21236\/ADA235785"},{"key":"e_1_2_1_2_72_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511625220"},{"key":"e_1_2_1_2_73_2","doi-asserted-by":"publisher","DOI":"10.5555\/579617"},{"key":"e_1_2_1_2_74_2","volume-title":"Software requirements\u2014styles and techniques","author":"Lauesen S","year":"2002"},{"key":"e_1_2_1_2_75_2","volume-title":"The shorter Oxford English dictionary on historical principles","author":"Little W","year":"1987"},{"key":"e_1_2_1_2_76_2","doi-asserted-by":"crossref","unstructured":"Liu Z Woodcock JCP Zhu H (2013) (eds) Unifying theories of programming and formal engineering methods\u2014International Training School on Software Engineering held at ICTAC 2013 Shanghai 26\u201330 August 2013. Advanced lectures vol 8050 of Lecture notes in computer science. Springer New York","DOI":"10.1007\/978-3-642-39721-9"},{"key":"e_1_2_1_2_77_2","unstructured":"Medvidovic N Colbert E (2004) Domain-specific software architectures (DSSA). Power point presentation found on the internet. Absolute Software Corp. Inc. Abs[S\/W] 5 March 2004"},{"key":"e_1_2_1_2_78_2","doi-asserted-by":"publisher","DOI":"10.1093\/bjps\/31.3.282"},{"key":"e_1_2_1_2_79_2","unstructured":"Staff MW (2004) Online dictionary: http:\/\/www.m-w.com\/home.ht. Merriam\u2013Webster Inc. Springfield"},{"key":"e_1_2_1_2_80_2","doi-asserted-by":"crossref","unstructured":"Mettala E Graham MH (1992) The domain specific software architecture program. In: Project report CMU\/SEI-92-SR-009 Software Engineering Institute Carnegie Mellon University Pittsburgh","DOI":"10.21236\/ADA257225"},{"key":"e_1_2_1_2_81_2","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"key":"e_1_2_1_2_82_2","doi-asserted-by":"crossref","unstructured":"Neighbors JM (1984) The Draco approach to constructing software from reusable components. In: IEEE transactions of software engineering vol SE-10(5)","DOI":"10.1109\/TSE.1984.5010280"},{"key":"e_1_2_1_2_83_2","unstructured":"Prieto-D\u00edaz R (1987) Domain analysis for reusability. In: COMPSAC 87. ACM Press New York"},{"key":"e_1_2_1_2_84_2","doi-asserted-by":"publisher","DOI":"10.1145\/382296.382703"},{"key":"e_1_2_1_2_85_2","doi-asserted-by":"publisher","DOI":"10.5555\/574344"},{"key":"e_1_2_1_2_86_2","volume-title":"Software engineering, theory and practice","author":"Pfleeger SL","year":"2001","edition":"2"},{"key":"e_1_2_1_2_87_2","unstructured":"Tony Pi C-Y (1999) Mereology in event semantics. PhD McGill University Montreal"},{"key":"e_1_2_1_2_88_2","unstructured":"Pressman RS (2001) Software engineering a practitioner\u2019s approach international edn. Computer science series 5th edn. McGraw-Hill New York (1981\u20132001)"},{"key":"e_1_2_1_2_89_2","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LXXXVIII.1.197"},{"key":"e_1_2_1_2_90_2","unstructured":"Reisig W (2010) Petrinetze: modellierungstechnik analysemethoden fallstudien. Leitf\u00e4den der Informatik. Vieweg\u00a0+\u00a0Teubner 1st edn 15 June 2010"},{"key":"e_1_2_1_2_91_2","unstructured":"Renz J Guesgen HW (eds) (2004) Spatial and temporal reasoning. J AI Commun 14(4) (Amsterdam special issue IOS Press)"},{"key":"e_1_2_1_2_92_2","doi-asserted-by":"publisher","DOI":"10.5555\/294049"},{"key":"e_1_2_1_2_93_2","volume-title":"Software architecture: perspectives on an emerging discipline","author":"Shaw M","year":"1996"},{"key":"e_1_2_1_2_94_2","doi-asserted-by":"publisher","DOI":"10.5555\/1196763"},{"key":"e_1_2_1_2_95_2","unstructured":"Sowa JF (1999) Knowledge representation: logical philosophical and computational foundations. Brooks\/Cole Thompson Learning 17 August 1999"},{"key":"e_1_2_1_2_96_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(00)00089-3"},{"key":"e_1_2_1_2_97_2","doi-asserted-by":"crossref","unstructured":"Sannella D Tarlecki A (2012) Foundations of algebraic semantcs and formal software development. In: Monographs in theoretical computer science. Springer Heidelberg","DOI":"10.1007\/978-3-642-17336-3"},{"key":"e_1_2_1_2_98_2","unstructured":"Staff of Encyclop\u0153dia Brittanica (1999) Encyclop\u0153dia Brittanica. Merriam Webster\/Brittanica. http:\/\/www.pragprog.com\/"},{"key":"e_1_2_1_2_99_2","doi-asserted-by":"publisher","DOI":"10.1145\/181628.181639"},{"key":"e_1_2_1_2_100_2","unstructured":"van Benthem J (1991) The logic of time vol 156 of Synthese library: studies in epistemology logic methhodology and philosophy of science (ed Jaakko Hintika) 2nd edn. Kluwer Academic Publishers Dordrecht (1983)"},{"key":"e_1_2_1_2_101_2","volume-title":"Requirements engineering: from system goals to UML models to software specifications","author":"van Lamsweerde A","year":"2009"},{"key":"e_1_2_1_2_102_2","unstructured":"Woodcock JCP Davies J (1996) Using Z: specification proof and refinement. In: Prentice Hall international series in computer science"},{"key":"e_1_2_1_2_103_2","doi-asserted-by":"publisher","DOI":"10.5555\/2699951.2699961"},{"key":"e_1_2_1_2_104_2","volume-title":"The concept of nature","author":"Whitehead AN","year":"1920"},{"key":"e_1_2_1_2_105_2","unstructured":"Wilson G Shpall S (2012) Action. In: Zalta EN (ed) The Stanford encyclopedia of philosophy summer 2012 edn"},{"key":"e_1_2_1_2_106_2","unstructured":"Wang J Yu X Zhou CC (1994) Hybrid refinement. In: Research report 20 UNU\/IIST Macau 1 April 1994"},{"key":"e_1_2_1_2_107_2","unstructured":"Zhou CC Hansen MR (2004) Duration calculus: a formal approach to real-time systems. In: Monographs in theoretical computer science. An EATCS series. Springer New York"},{"key":"e_1_2_1_2_108_2","doi-asserted-by":"crossref","unstructured":"Zhan N Wang S Zhao H (2013) Formal modelling analysis and verification of hybrid systems. In: ICTAC Training School on Software Engineering pp 207\u2013281. doi:10.1007\/978-3-642-39721-9_5 DBLP http:\/\/dblp.uni-trier.de","DOI":"10.1007\/978-3-642-39721-9_5"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-016-0385-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-016-0385-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-016-0385-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-016-0385-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T04:55:44Z","timestamp":1749012944000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-016-0385-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":108,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["10.1007\/s00165-016-0385-z"],"URL":"https:\/\/doi.org\/10.1007\/s00165-016-0385-z","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3]]}}}