Information technology. Object Management Group Unified Modeling Language (OMG UML)

2015 ◽  
Keyword(s):  
Information Technology ◽  
Unified Modeling Language ◽  
Modeling Language ◽  
Object Management Group ◽  
Unified Modeling ◽  
Management Group ◽  
Object Management

scholarly journals UML – a survey on technical university students in Lublin

2019 ◽  
Vol 13 ◽  
pp. 279-282
Author(s):  
Kamil Żyła ◽  
Adam Ulidowski ◽  
Jan Wrzos ◽  
Bartłomiej Włodarczyk ◽  
Krzysztof Krocz ◽  
...  
Keyword(s):  
University Students ◽  
Unified Modeling Language ◽  
Software Systems ◽  
Modeling Language ◽  
Software System ◽  
Object Management Group ◽  
Unified Modeling ◽  
Group Standard ◽  
Management Group ◽  
Uml Diagrams

Unified Modeling Language (UML) is a commonly known OMG (Object Management Group) standard for designing software systems. However, practice shows that the usage of UML varies depending on the specificity of a software system and company. The authors decided to explore the perspective of students with experience in using UML by conducting a survey with them. Analysis of the data gathered revealed that they use UML diagrams as an additional help when developing software. The main risk turned out to be different diagram interpretations.

Seamless Formalizing the UML Semantics through Metamodels

2001 ◽  
pp. 225-249 ◽  
Author(s):  
Jose Luis Fernandez Aleman ◽  
Ambrosio Toval Alvarez
Keyword(s):  
Formal Model ◽  
Language Evolution ◽  
Formal Semantics ◽  
Unified Modeling Language ◽  
Modeling Language ◽  
Algebraic Specification ◽  
Unified Modeling ◽  
Management Group ◽  
Specification Theory ◽  
Insight Into

Despite the fact that the Unified Modeling Language (UML) has been adopted by the Object Management Group (OMG2 ) as the standard notation for use in Object-Oriented (OO) Systems Development, it still does not have a truly formal semantics. There is currently much effort directed towards formalizing particular aspects or models of UML. However, the literature gives little insight into the appropriate strategy for tackling this problem within an integrated basis including the language evolution. This chapter identifies and discusses three feasible strategies which can be applied to formalize UML. One of these strategies is selected to underpin the four-layer architecture on which UML is based. The approach is based on the soundness of algebraic specification theory, which, in addition, provides suitable theorem-proving capabilities for exploiting the UML formal model obtained. The formal models proposed are specified using an executable algebraic specification language called Maude.

Sign in / Sign up

Export Citation Format

Share Document