Basic abstraction principles are reached through ontology, which was traditionally conceived as a depiction of the world itself. Ontology is also described using conceptual modeling (CM) that defines fundamental concepts of reality. CM is one of the central activities in computer science, especially as it is mainly used in software engineering as an intermediate artifact for system construction. To achieve such a goal, we propose Stoic CM (SCM) as a description of what a system must do functionally with minimal ambiguity. As a case study, we apply SCM to investigate the ontology of BPMN (business process modeling notation). Such an undertaking would demonstrate SCM notions and simultaneously may offer a viable ontological foundation for BPMN. SCM defines the being of things and actions in reality based on Stoic notions of existence and subsistence. It has two levels of specification: (1) a subsistence static model where things and actions subsist and (2) an existence dynamic model where things and actions exist in time. From the Stoic ontological point of view, while a thing existing has a clear denotation, subsistence indicates the thing is being there, but it is inactive (does not participate in an event). We apply SCM to BPMN processes that involve buying a new car with many notions, such as activity, task, event, and message. The result indicates that SCM produces a tighter representation of reality, thus providing the necessary description of the part in the application world to be used as requirements for developing the software system.
翻译:肿瘤学是计算机科学的中心活动之一,特别是因为它主要用于软件工程,作为系统建设的中间工艺品。为了实现这一目标,我们建议Stoic CM(SCM)作为描述一个系统必须以最小的模糊度发挥作用的说明;作为案例研究,我们运用SCM来调查BPMN(商业过程模型化)的肿瘤学(商业过程模型化),这种工作将展示SCM概念,同时为BPMN提供一个可行的理论基础。SCM根据Stoic的存在和生存概念来界定现实中的东西和行动。为了实现这一目的,我们建议Stoic CM(SCM)作为描述一个维持生存的静态模型,和(SCM)作为说明一个系统在功能上必须具备清晰的解析,维持生命,但这种系统可以同时为BMM概念提供一个可行的理论基础。它界定现实中的东西和行动是静止的,因此,它作为SMMM(我们使用的一种新程序)的一部分,它是一个不活动,它作为SMM(我们使用一个不动的)的结果。