Model based systems engineering using a continuous-time extension of the Unified Modeling Language (UML)

2002 ◽  
Vol 5 (3) ◽  
pp. 165-179 ◽  
Author(s):  
Jakob Axelsson
Author(s):  
Daniel Riesco ◽  
Marcela Daniele ◽  
Daniel Romero ◽  
German Montejano

The Unified Modeling Language (UML) allows to visualize, to specify, to build and to document the devices of a system that involves a great quantity of software. It provides a standard form for writing the models of a system, covering so much of the conceptual aspects (such as processes of the business and functions of the system) as the concrete ones (such as the classes written in a specific programming language, schemas of databases and software components). In 1997, UML 1.1 was approved by the OMG becoming the standard notation for the analysis and the design oriented to objects. UML is the first language of modelling in which a metamodel in its own notation has been published. It is a strict subset called Core. It is a self-referential metamodel. It is a very expressive language that covers all of the necessary views to develop and to deploy systems. UML is a language that provides three extension mechanisms (Booch, Rumbaugh, & Jacobson, 1999): stereotypes, tag values, and constrains. The stereotypes allow to create new types of elements of model based on the elements that form the metamodel UML extending the semantics of the same one, the tag values are an extension of the properties of an element of UML, allowing to add new information to the specification of the same one, and the constrains are an extension of the semantics of UML that allow to add new rules or to modify the existent ones. The organization of this overview is given in the following way: first, we present the stereotypes according to the standard of OMG; second, we expose the analysis of works that extend UML using stereotypes in diverse real domains; third, we make an analysis of the stereotypes of UML; and we finish giving a general conclusion where we focus ourselves in the distinction of the works according to their inclusion or not of the created stereotypes in the metamodel of UML.


Author(s):  
Peter Fettke

Mature engineering disciplines are generally characterized by accepted methodical standards for describing all relevant artifacts of their subject matter. Such standards not only enable practitioners to collaborate, but they also contribute to the development of the whole discipline. In 1994, Grady Booch, Jim Rumbaugh, and Ivar Jacobson joined together to unify the plethora of existing object-oriented systems engineering approaches at semantic and notation level (Booch, 2002; Fowler, 2004; Rumbaugh, Jacobson, & Booch, 1998). Their effort led to the Unified Modeling Language (UML), a well-known, general-purpose, tool-supported, process-independent, and industry-standardized modeling language for visualizing, describing, specifying, and documenting systems artifacts. Table 1 depicts the origin and descent of UML.


2021 ◽  
Vol 9 (6) ◽  
pp. 673
Author(s):  
David Reiher ◽  
Axel Hahn

Highly automated vehicles are increasingly gaining the public’s attention. To achieve broad acceptance for the deployment of such vehicles, it is necessary to ensure their functionality and safety. One approach that has become popular in research is the scenario-based approach. However, manual testing of such complex systems is impractical and time-consuming. Using simulations to run and evaluate such scenarios appears to be the most viable approach. This, in turn, raises new challenges, especially in modeling the scenarios to be tested simulatively and incorporating the system under test as part of these. Since existing solutions do not solve these challenges satisfactorily—due to the strict separation of scenario and simulation model, among other reasons—this work addresses the need for a standardized, holistic, and extensible approach for modeling traffic scenarios to be executed simulatively. Requirements for such an approach are identified with focus on its application in simulation- and scenario-based verification and validation. Based on these, a model-based multi-layered approach is proposed. The foundations of this are then implemented utilizing a Meta Object Facility based heavyweight extension of the Unified Modeling Language metamodel. The resulting metamodel is used to demonstrate the applicability of the proposed approach by modeling a maritime traffic scenario.


2021 ◽  
Author(s):  
Fatihin

Pada saat ini penggunaan sistem informasi telah diterapkan oleh perusahaan untuk mendukung proses bisnis pada perusahaan secara real time dan terintegrasi. Penggunaan sistem informasi manajemen terintegrasi ini pada dasarnya dapat diterapkan bukan hanya pada perusahaan saja, tetapi juga dalam industri pendidikan khususnya sekolah. Pada penelitian ini, peneliti ingin menggambarkan model sistem informasi manajemen untuk mendukung proses bisnis yang terdapat pada sekolah. Model konseptual sistem informasi manajemen untuk sekolah ini digambarkan dengan mengunakan notasi Unified Modeling Language (UML) dengan pendekatan model arsitektur “4+1 View”. Model ini diharapkan dapat membantu analisis dan perancangan proses bisnis pada sekolah secara keseluruhan. ModelSistem informasi konseptual ini dapat membantu pengembang aplikasi sekolah dalam lebih memahami dan mengembangkan sistem. Sekolah dapat memperoleh pengetahuan yang lebih baik tentang sistem informasi manajemen dengan menggunakan model sistem informasi manajemen ini.


Author(s):  
Christopher Voss ◽  
Frank Petzold ◽  
Stephan Rudolph

In engineering, design decisions in one domain exhibit multiple consequences in other domains. These consequences result from the often more or less hidden coupling between the different design domains. In order to examine these consequences, models need to be created. In practice, this is challenging due to the exchange of data between different engineering domains, since different software applications are often used and the effort involved with manual model creation. In this paper, we explore the use of graph-based design languages in a Model-Based Systems Engineering (MBSE) approach to link the digital factory with building design. We also show that the use of a common formal representation based on the Unified Modeling Language (UML) supports the interoperability between the two domains. Finally, we demonstrate how the engineering knowledge for the preliminary design of a factory building can be formally described using graph-based design languages and how the production line of the digital factory can then be used as an input to automatically create valid preliminary designs for the factory building.1


Author(s):  
Peter Fettke

Mature engineering disciplines are generally characterized by accepted methodical standards for describing all relevant artifacts of their subject matter. Such standards not only enable practitioners to collaborate, but they also contribute to the development of the whole discipline. In 1994, Grady Booch, Jim Rumbaugh, and Ivar Jacobson joined together to unify the plethora of existing object-oriented systems engineering approaches at semantic and notation level (Booch, 2002; Fowler, 2004; Rumbaugh, Jacobson & Booch, 1998). Their effort leads to the unified modeling language (UML), a well-known, general-purpose, tool-supported, processindependent, and industry-standardized modeling language for visualizing, describing, specifying, and documenting systems artifacts.


2020 ◽  
Vol 30 (1) ◽  
pp. 323-338
Author(s):  
Jinzhi Lu ◽  
Guoxin Wang ◽  
Junda Ma ◽  
Dimitris Kiritsis ◽  
Hang Zhang ◽  
...  

Author(s):  
Brandon Woolley ◽  
Susan Mengel

Hierarchical scheduling frameworks are a new scheduling paradigm where multiple system schedules are integrated (one-within-another).  HSFs presents a multi-layered complexity problem that system engineers are struggling to contain.  A promising trend in the aerospace and defense industry is to employ Digital Engineering’s Model-Based Systems Engineering (MBSE) to deal with the complexity of HSFs.  MBSE permits the abstraction of application-specific details that can radically speed up system design exploration.  Thus, this paper investigates how the output from an HSF algorithm can be converted into an MBSE modeling language that enables architectural exploration for resource allocation.  The Unified Modeling Language (UML) Modeling and Analysis of Real-Time and Embedded Systems (MARTE) Profile is the chosen unified modeling language of MBSE. The modeling language is used with an HSF application for demonstration purposes.  The approach in this paper seeks to limit tool use by combining an inline verification method (Genetic Algorithm) with a new MBSE workflow.


Sign in / Sign up

Export Citation Format

Share Document