We present a summary of a domain analysis & description method. Domains are the realm in which [large scale] software is embedded – in order to serve human actions in predominantly man-made “surroundings”. The method, with its principles, procedures, techniques and tools, are outlined. A main principle is that of delineating observable phenomena into describable entities; these into endurants and perdurants, i.e., roughly speaking “statically” and “dynamically” observable entities; entities into endurants and perdurants; endurants into solids and fluids; solids into parts and living species; parts into atomic and compound parts; and compound parts into Cartesians and part sets. Endurants are then “endowed” with unique identities, mereologies, attributes and intentional “pull”. Endurants are then, by transcendental deduction, “morphed” into perdurants: behaviours that communicate, and where unique identities, mereologies and attributes serve as possible updateable behaviour arguments.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Domain Analysis and Description: A Tutorial

  • Dines Bjørner

摘要

We present a summary of a domain analysis & description method. Domains are the realm in which [large scale] software is embedded – in order to serve human actions in predominantly man-made “surroundings”. The method, with its principles, procedures, techniques and tools, are outlined. A main principle is that of delineating observable phenomena into describable entities; these into endurants and perdurants, i.e., roughly speaking “statically” and “dynamically” observable entities; entities into endurants and perdurants; endurants into solids and fluids; solids into parts and living species; parts into atomic and compound parts; and compound parts into Cartesians and part sets. Endurants are then “endowed” with unique identities, mereologies, attributes and intentional “pull”. Endurants are then, by transcendental deduction, “morphed” into perdurants: behaviours that communicate, and where unique identities, mereologies and attributes serve as possible updateable behaviour arguments.