The complexity of software-based systems has increased significantly, especially with regards to capturing requirements along with dependencies among requirements. A conceptual model is a way of thinking about and making sense of the real world s complexities. In this paper, we focused on two approaches in this context: (a) multiple models applied to the same system with simultaneous usage of dissimilar notations vs. (b) a single model that utilizes a single framework of notations. In the first approach, inconsistencies arise among models that require a great deal of painstaking discipline and coordination between them. The multiple-model notion is based on the claim that it is not possible to present all application views in a single representation, so diverse models are used, with each model representing a different view. This article advocates a second approach that utilizes a single model with multilevel (static/dynamic and behavioral) specification. To substantiate this approach s feasibility, we embrace the occurrence-only model, which comprises (a) Stoic ontology, (b) thinging machine (TM) language and (c) Lupascian logic. In this paper, we focus on TM modeling as the mechanism of single-model building. We claim that a TM can be a unifying diagrammatic language for virtually all current modeling languages. To demonstrate such a claim, we redraft almost all the diagrammatic representations in The Handbook of Requirements Modeling of the International Requirements Engineering Board. This redrafting includes context, class, activity, use case, data flow and state diagrams. The results seem to indicate that there are no difficulties in representing all views in TM.
翻译:软件系统的复杂性随着系统需求与需求之间的依赖关系增加而显著增加。概念模型是一种考虑和理解现实世界复杂性的方法。在本文中,我们关注了这种情况下的两种方法:(a)使用同时使用不同符号的多个模型去适应同一系统 vs. (b)利用单个框架符号的单个模型。在第一种方法中,模型间存在矛盾需耗费极大的努力进行协调。多模型的概念基于这样的主张:单个表述不可能呈现所有应用视角,因此使用不同的模型,每个模型代表一个不同的视角。本文支持一个利用单个模型的方法,并采用多层级规范 (静态/动态和行为)。为了证明这种方法的可行性,我们采用仅发生模型,该模型包括 (a) 斯多亚哲学,(b) thinging 机器(TM) 语言和 (c) Lupascian 逻辑。在本文中,我们聚焦于 TM 建模作为单一模型构建的机制。我们声称 TM 可以成为几乎所有当前建模语言的统一图表语言。为了演示这样的说法,我们重新拟定国际需求工程委员会《需求建模手册》中的几乎所有图表符号,包括环境、类、活动、用例、数据流和状态图。结果似乎表明,以 TM 的形式呈现所有视角没有困难。