English
Related papers

Related papers: TMUML: A Singular TM Model with UML Use Cases and …

200 papers

In this paper we show by using the example of UML, how a software engineering method can benefit from an integrative mathematical foundation. The mathematical foundation is given by a mathematical system model. This model provides the basis…

Software Engineering · Computer Science 2014-12-09 Ruth Breu , Radu Grosu , Franz Huber , Bernhard Rumpe , Wolfgang Schwerin

In computer science, models are made explicit to provide formality and a precise understanding of small, contingent universes (e.g., an organization), as constructed from stakeholder requirements. Conceptual modeling is a fundamental…

Software Engineering · Computer Science 2020-07-02 Sabah Al-Fedaghi , Esraa Haidar

This article introduces a metamodel for the Business Model Canvas (BMC) using the Unified Modelling Language (UML), together with a dedicated Domain-Specific Modelling Language (DSML) tool. Although the BMC is widely adopted by both…

Software Engineering · Computer Science 2026-02-16 Nordine Benkeltoum

Unified Modeling Language (UML) Use Case and Class Diagrams are fundamental modeling notations in Software Engineering (SE) education due to their importance for requirements and model-based engineering, yet their relevance is…

Software Engineering · Computer Science 2026-04-27 Giacomo Garaccione , Riccardo Coppola , Luca Ardito

The design productivity gap requires more efficient design methods. Software systems have faced the same challenge and seem to have mastered it with the introduction of more abstract design methods. The UML has become the standard for…

Software Engineering · Computer Science 2011-11-09 Tim Schattkowsky

To provide a foundation for conceptual modeling, ontologies have been introduced to specify the entities, the existences of which are acknowledged in the model. Ontologies are essential components as mechanisms to model a portion of reality…

Artificial Intelligence · Computer Science 2020-07-21 Sabah Al-Fedaghi

A control model is typically classified into three forms: conceptual, mathematical and simulation (computer). This paper analyzes a conceptual modeling application with respect to an inventory management system. Today, most organizations…

Software Engineering · Computer Science 2018-12-04 Sabah Al-Fedaghi , Nourah Al-Huwais

Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industrial standard modeling language, used more and more in real-time…

Software Engineering · Computer Science 2011-11-09 He Hai , Zhong Yi-Fang , Cai Chi-Lan

In previous works, we proposed a one-category (entitled thimac) conceptual model called a thinging machine (TM), which integrates staticity (e.g., objects) and dynamism (e.g., events) without losing valuable aspects of diagrammatic…

Software Engineering · Computer Science 2022-03-03 Sabah Al-Fedaghi

The study of the ethical impact of AI and the design of trustworthy systems needs the analysis of the scenarios where AI systems are used, which is related to the software engineering concept of "use case" and the "intended purpose" legal…

Software Engineering · Computer Science 2022-09-21 Isabelle Hupont , Emilia Gomez

Recently, attention has focused on the software development, specially by differ-ent teams that are geographically distant to support collaborative work. Manage-ment, description and modeling in such collaborative approach are through…

Software Engineering · Computer Science 2018-01-23 Hicham Elasri , Elmustapha Elabbassi , Sekkaki Abderrahim , Muhammad Fahad

From a software design perspective, a clear definition of design can enhance project success and development productivity. Even though the focus is on software engineering, in this paper, we view the notion of design from the wider point of…

Software Engineering · Computer Science 2019-12-16 Sabah Al-Fedaghi

None of the quantum computing applications imagined will ever become a reality without quantum software. Quantum programmes have, to date, been coded with ad hoc techniques. Researchers in the field of quantum software engineering are,…

Software Engineering · Computer Science 2021-03-31 Ricardo Pérez-Castillo , Luis Jiménez-Navajas , Mario Piattini

The well-known Unified Modeling Language (UML) describes software entities, such as interfaces, classes, operations and attributes, as well as relationships among them, e.g. inheritance, containment and dependency. The power of UML lies in…

Accelerator Physics · Physics 2007-05-23 Klemen Zagar , Mark Plesko , Matej Sekoranja , Gasper Tkacik , Anze Vodovnik

Use cases as textual visual modeling techniques have become a key construct and the foundation of the most popular de facto standard technique for performing software requirements analysis and specification. This paper describes use cases…

Software Engineering · Computer Science 2019-10-08 Sabah Al-Fedaghi

The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the particular UML family member used for the model.…

Software Engineering · Computer Science 2014-09-25 Steve Cook , Anneke Kleppe , Richard Mitchell , Bernhard Rumpe , Jos Warmer , Alan Wills

Chain-of-Thought (CoT) prompting improves reasoning in large language models (LLMs), but its reliance on unstructured text limits interpretability and executability in embodied tasks. Prior work has explored structured CoTs using scene or…

Computer Vision and Pattern Recognition · Computer Science 2025-10-01 Hongyu Chen , Guangrun Wang

The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs. The UML specification, maintained by the Object Management…

Software Engineering · Computer Science 2024-07-25 Étienne André , Shuang Liu , Yang Liu , Christine Choppy , Jun Sun , Jin Song Dong

This paper is a sequel to an evolving research project on a diagrammatic methodology called thinging machine (TM). Initially, it was proposed as a base for conceptual modelling (e.g., conceptual UML) in areas such as requirement…

Software Engineering · Computer Science 2025-01-03 Sabah Al-Fedaghi

Significant advancements has recently been achieved in the field of multi-modal large language models (MLLMs), demonstrating their remarkable capabilities in understanding and reasoning across diverse tasks. However, these models are often…

Computation and Language · Computer Science 2024-08-06 Zhaowei Li , Wei Wang , YiQing Cai , Xu Qi , Pengyu Wang , Dong Zhang , Hang Song , Botian Jiang , Zhida Huang , Tao Wang