Lecture Notes in Computer Science
SCOPUS (1973-2025)
0302-9743
1611-3349
Đức
Cơ quản chủ quản: Springer Verlag
Lĩnh vực:
Computer Science (miscellaneous)Theoretical Computer Science
Phân tích ảnh hưởng
Các bài báo tiêu biểu
Object Constraint Language (OCL): A Definitive Guide
- Trang 58-90 - 2012
The Object Constraint Language (OCL) started as a complement of the UML notation
with the goal to overcome the limitations of UML (and in general, any graphical
notation) in terms of precisely specifying detailed aspects of a system design.
Since then, OCL has become...
On Formalizing the UML Object Constraint Language OCL
- Trang 449-464 - 1998
We present a formal semantics for the Object Constraint Language (OCL) which is
part of the Unified Modeling Language (UML) – an emerging standard language and
notation for object-oriented analysis and design. In context of information
systems modeling, UML...
From UML and OCL to Relational Logic and Back
- Trang 415-431 - 2012
Languages like UML and OCL are used to precisely model systems. Complex UML and
OCL models therefore represent a crucial part of model-driven development, as
they formally specify the main system properties. Consequently, creating
complete and correct models is a...
Verification of ATL Transformations Using Transformation Models and Model Finders
- Trang 198-213 - 2012
In model-driven engineering, models constitute pivotal elements of the software
to be built. If models are specified well, transformations can be employed for
different purposes, e.g., to produce final code. However, it is important that
models produced by a...
OCL Extended with Temporal Logic
- Trang 351-357 - 2004
UML class diagrams have become a standard for modeling the static structure of
object-oriented software systems. OCL can be used for formulating additional
constraints that can not be expressed with the diagrams. In this paper, we
extend OCL with temporal operators...