中文
相关论文

相关论文: Semantic integration of UML class diagram with sem…

200 篇论文

The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML have a well- defined, fully explored semantics. Such semantics is required in order to…

软件工程 · 计算机科学 2014-09-25 Andy Evans , Robert France , Kevin Lano , Bernhard Rumpe

Defining semantics for UML is a difficult task. Disagreements in the meaning of UML constructs as well as the size of UML are major obstacles. In this report, we describe our approach to define the semantics for UML. Semantics is defined…

软件工程 · 计算机科学 2014-09-24 Maria Victoria Cengarle , Hans Grönninger , Bernhard Rumpe

The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully explored semantics. Such semantics is required in order to…

软件工程 · 计算机科学 2014-09-25 Andy Evans , Robert France , Kevin Lano , Bernhard Rumpe

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…

软件工程 · 计算机科学 2014-12-09 Ruth Breu , Radu Grosu , Franz Huber , Bernhard Rumpe , Wolfgang Schwerin

A conceptual model is used to support development and design within the area of systems and software modeling. The notion of validation refers to representing a domain in a model accurately and generating results using an executable model.…

软件工程 · 计算机科学 2021-07-01 Sabah Al-Fedaghi

If a modeling task is distributed, it will frequently be necessary to integrate models developed by different team members. Problems occur in the models integration step and particularly, in the comparison phase of the integration. This…

软件工程 · 计算机科学 2011-06-01 Samia Benabdellah Chaouni , Mounia Fredj , Salma Mouline

This paper presents an operational semantics for UML activity diagrams. The purpose of this semantics is three-fold: to give a robust basis for verifying model correctness; to help validate model transformations; and to provide a…

计算机科学中的逻辑 · 计算机科学 2016-04-11 Zamira Daw , Rance Cleaveland

The UML allows us to specify models in a precise, complete and unambiguous manner. In particular, the UML addresses the specification of all important decisions regarding analysis, design and implementation. Although UML is not a visual…

软件工程 · 计算机科学 2010-01-26 S. S. Riaz Ahamed

The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL…

人机交互 · 计算机科学 2017-01-31 Frank Hilken , Martin Gogolla

The Unified Modelling Language is emerging as a de-facto standard for modelling object-oriented systems. However, the semantics document that a part of the standard definition primarily provides a description of the language's syntax and…

软件工程 · 计算机科学 2014-09-25 Andy Evans , Kevin Lano , Robert France , Bernhard Rumpe

In the systems and software modeling field, a conceptual model involves modeling with concepts to support development and design. An example of a conceptual model is a description developed using the Unified Modeling Language (UML). UML…

软件工程 · 计算机科学 2021-07-05 Sabah Al-Fedaghi

Design of large software systems requires rigorous application of software engineering methods covering all phases of the software process. Debugging during the early design phases is extremely important, because late bug-fixes are…

软件工程 · 计算机科学 2007-05-23 Johann Schumann

Unified Modeling Language (UML) is the de facto standard for requirements modeling and system design. UML as a visual language can tremendously help customers, project managers, and developers to specify the requirements of a target system.…

软件工程 · 计算机科学 2019-01-09 Yilong Yang , Jing Yang , Xiaoshan Li

Modeling is a central and demanding activity in software engineering that requires skills such as abstraction, consistency maintenance, and precise communication. These skills are difficult to master and even harder to teach effectively.…

软件工程 · 计算机科学 2025-11-12 Luan Lazzari , Kleinner Farias

Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. Verification and Validation of complex software developed according to UML…

In software engineering processes, systems are first specified using a modeling language such as UML. These initial designs are often collaboratively created, many times in meetings where different domain experts use whiteboards, paper or…

软件工程 · 计算机科学 2024-12-10 Aaron Conrardy , Jordi Cabot

Urban systems are intrinsically complex, involving different dimensions and scales, and consequently various approaches and scientific disciplines. In that context, urban simulation models have been coined as essential for the construction…

计算机与社会 · 计算机科学 2021-05-31 Juste Raimbault

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…

软件工程 · 计算机科学 2026-04-27 Giacomo Garaccione , Riccardo Coppola , Luca Ardito

Certainly, the success of the Unified Modeling Language (UML) as the de facto standard for modeling software systems does not imply closing the door on scientific exploration or experimentation with modeling in the field. Continuing studies…

软件工程 · 计算机科学 2021-02-08 Sabah Al-Fedaghi

In model-driven engineering (MDE), UML class diagrams serve as a way to plan and communicate between developers. However, it is complex and resource-consuming. We propose an automated approach for the extraction of UML class diagrams from…

软件工程 · 计算机科学 2022-10-28 Song Yang , Houari Sahraoui
‹ 上一页 1 2 3 10 下一页 ›