Lecture Notes in Computer Science
SCOPUS (1973-2023)
0302-9743
1611-3349
Đức
Cơ quản chủ quản: Springer Verlag
Lĩnh vực:
Computer Science (miscellaneous)Theoretical Computer Science
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...
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...