1998
DOI: 10.1016/s0920-5489(98)00020-8
|View full text |Cite
|
Sign up to set email alerts
|

The UML as a formal modeling notation

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
48
0
4

Year Published

1999
1999
2017
2017

Publication Types

Select...
3
3
2

Relationship

0
8

Authors

Journals

citations
Cited by 140 publications
(52 citation statements)
references
References 7 publications
0
48
0
4
Order By: Relevance
“…FSTs employ mathematical concepts and principles to describe software models with precision through rigorous analysis [10,11]. Employing FSTs is not a substitute for graphical software models; they are complementary.…”
Section: Formal Specification Techniquesmentioning
confidence: 99%
See 1 more Smart Citation
“…FSTs employ mathematical concepts and principles to describe software models with precision through rigorous analysis [10,11]. Employing FSTs is not a substitute for graphical software models; they are complementary.…”
Section: Formal Specification Techniquesmentioning
confidence: 99%
“…Formal Specification Techniques (FST) have been advocated as a supplementary approach to amend the informality of graphical software models [10,11]. They promote the design of mathematically tractable systems through critical thinking and scientific reasoning.…”
Section: Introductionmentioning
confidence: 99%
“…With the same motivation for the works on the formalization of UML [15], we then present a formalization of the concepts of tMVML suitable for our purposes. This formalization enables us to precisely define the sequence diagram merging problem in the context of model versioning.…”
Section: The Modeling Language Tmvmlmentioning
confidence: 99%
“…In [8] we identified three general approaches to formalizing OO modelling concepts: supplemental, OO-extended formal notation, and methods integration approaches. In the supplemental approach more formal statements replace parts of the informal models that are expressed in natural language.…”
Section: Classification Of Approachesmentioning
confidence: 99%
“…In a previous paper [8], we discuss how experiences gained by formalizing OO concepts can significantly impact the development of a precise semantics for UML structures. We motivated an approach to formalizing UML concepts in which formal specification techniques are used primarily to gain insights tothe semantics of UML notations.…”
Section: Introductionmentioning
confidence: 99%