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...
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...
Consistency, Independence and Consequences in UML and OCL Models
- Trang 90-104 - 2009
Properties in UML models are frequently formulated as OCL invariants or OCL pre-
and postconditions. The UML-based Specification Environment (USE) supports
validation and to a certain degree verification of such properties. USE allows
the developer to prove the...