In their seminal paper in the ACM Transactions on Software Engineering and Methodology, Zave and Jackson established a core ontology for Requirements Engineering (RE) and used it to formulate the "requirements problem", thereby defining what it means to successfully complete RE. Given that stakeholders of the system-to-be communicate the information needed to perform RE, we show that Zave and Jackson's ontology is incomplete. It does not cover all types of basic concerns that the stakeholders communicate. These include beliefs, desires, intentions, and attitudes. In response, we propose a core ontology that covers these concerns and is grounded in sound conceptual foundations resting on a foundational ontology. The new core ontology for RE leads to a new formulation of the requirements problem that extends Zave and Jackson's formulation. We thereby establish new standards for what minimum information should be represented in RE languages and new criteria for determining whether RE has been successfully completed.
Existential Ontology and Thinging Modeling in Software Engineering
这项研究是以前的一项研究的续集，题为软件工程师的思考，这表明，与对象化相比，事物的概念在建模中有一些有益的方向。要解释海德格尔的物的概念的根源，就必须把物纳入概念建模。这就需要理解海德格尔的存在本体论，以确定任何与物的关系。本文是对存在本体论的一种探索，旨在进一步澄清物的概念。我们首先回顾Thinging Machine（TM）在Thinging for Software Engineers中介绍的，并提供了一个完整的例子，说明它在建模订购系统中的应用。接下来，我们将讨论世界中事物的存在（存在），以及海德格尔对时间的解释，时间是任何对存在的理解的一个可能的视界。我们强调，TM与海德格尔的存在概念及其对此在的详尽分析没有直接关系。然而，研究非此在的事物可能会有一些好处，可以为思维提供一个哲学基础，就像TM建模中所使用的那样。有趣的是，TM可以用来建模存在本体，从而提高对它们的理解水平。
From Chat to Interview: Agentic Requirements Elicitation with an Experience Ontology
Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, China（教育部高可信软件技术重点实验室）；School of Computer Science, Peking University, China（北京大学计算机学院）；Beijing Forestry University, China（北京林业大学）；East China Normal University, China（华东师范大学）
