中文
相关论文

相关论文: Towards a Formalization of the Unified Modeling La…

200 篇论文

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

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…

软件工程 · 计算机科学 2024-07-25 Étienne André , Shuang Liu , Yang Liu , Christine Choppy , Jun Sun , Jin Song Dong

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

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 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

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

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

Unified modelling language (UML) 2.0 introduced in 2002 has been developing and influencing object-oriented software engineering and has become a standard and reference for information system analysis and design modelling. There are many…

软件工程 · 计算机科学 2010-06-10 Spits Warnars

The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows the explicit representation of framework variation points.…

软件工程 · 计算机科学 2014-09-25 Marcus Fontoura , Wolfgang Pree , Bernhard Rumpe

Object orientation has become the predominant paradigm for conceptual modeling (e.g., UML), where the notions of class and object form the primitive building blocks of thought. Classes act as templates for objects that have attributes and…

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

In this document, we introduce a system model as a semantic domain for the Unified Modeling Language (UML) [OMG07a, OMG07b]. The system model is supposed to form a possible core and foundation of the UML semantics definition. For that…

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

This article provides a brief overview of the UML SP (UML Scientific Profile). It is an Object-Oriented Simulation Language and may find usage in OOS and ABS. UML SP allows for the application of Unified Process methodology for the…

分布式、并行与集群计算 · 计算机科学 2021-04-21 Vasyliy I. Gurianov

The Unified Modeling Language (UML) is commonly used in introductory Computer Science to teach basic object-oriented design. However, there appears to be a lack of suitable software to support this task. Many of the available programs that…

人机交互 · 计算机科学 2007-05-23 Scott Turner , Manuel A. Perez-Quinones , Stephen H. Edwards

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…

软件工程 · 计算机科学 2011-11-09 He Hai , Zhong Yi-Fang , Cai Chi-Lan

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…

加速器物理 · 物理学 2007-05-23 Klemen Zagar , Mark Plesko , Matej Sekoranja , Gasper Tkacik , Anze Vodovnik

Modeling languages in software engineering (e.g., UML) evolved from software systems modeling where denotational and operational kinds of semantics are the traditional subjects of research and practice. According to some authors, although a…

软件工程 · 计算机科学 2020-11-04 Sabah Al-Fedaghi

Graph-based design languages in UML (Unified Modeling Language) are presented as a method to encode and automate the complete design process and the final optimization of the product or complex system. A design language consists of a…

软件工程 · 计算机科学 2018-05-24 Samuel Vogel , Stephan Rudolph

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

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.…

软件工程 · 计算机科学 2014-09-25 Steve Cook , Anneke Kleppe , Richard Mitchell , Bernhard Rumpe , Jos Warmer , Alan Wills

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…

软件工程 · 计算机科学 2011-11-09 Tim Schattkowsky
‹ 上一页 1 2 3 10 下一页 ›