نتایج جستجو برای: ضوابط ocl

تعداد نتایج: 4416  

2015
Hongpei Xu Christiaan D. Erdbrink Valeria V. Krzhizhanovskaya

This paper introduces a new sampling technique called Opposite-Center Learning (OCL) intended for convergence speed-up of meta-heuristic optimization algorithms. It comprises an extension of Opposition-Based Learning (OBL), a simple scheme that manages to boost numerous optimization methods by considering the opposite points of candidate solutions. In contrast to OBL, OCL has a theoretical foun...

1998
Mark Richters Martin Gogolla

We present a formal semantics for the Object Constraint Language (OCL) which is part of the Uniied Modeling Language (UML) { an emerging standard language and notation for object-oriented analysis and design. In context of information systems modeling, UML class diagrams can be utilized for describing the overall structure, whereas additional integrity constraints and queries are speciied with ...

2004
Alexandre L. Correa Cláudia Maria Lima Werner

The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be difficult to understand and evolve, particularly when constraints containing complex or duplicate expressions are present. Moreover, the evaluation of how changes in the definition of the underlying classes impact th...

Journal: :Land 2022

Cultivated land (CL) performs irreplaceable manifold functions in social stability, economic development, and ecological security, which is also essential for the accomplishment of United Nations Sustainable Development Goals 2030 Agenda. China world’s most populous country, it has important reference significance realization multi-function synergistic management CL by revealing evolution chara...

2013
Mandy Lo Julie-Ann Edwards Christian Bokhove Hugh Davis

Combining the interactive communication power of Web 2.0 and social-constructivist theory in education research, online collaborative learning (OCL) has now become an area of intensive research and has generated many favourable results. Yet, the term online collaborative learning, or any other related terms, are seldom seen in mathematics education journals. This paper will, after a brief overv...

2006
Milan Milanović Dragan Gašević Adrian Giurca Gerd Wagner Vladan Devedžić

The paper presents a metamodel-driven model transformation approach to sharing rules between the Semantic Web Rule Language along with the Web Ontology Language (OWL/SWRL) and Object Constraint Language (OCL) along with UML (UML/OCL). The solution is based on the REWERSE Rule Markup Language (R2ML), a MOF-defined general rule language, as a pivotal metamodel and the bi-directional transformatio...

2018
Khanh-Hoang Doan Martin Gogolla

In this contribution, we introduce an approach to visualize and analyze logical reasoning problems in a UML and OCL tool by using logical puzzles represented with UML diagrams. Logical reasoning is formalized as a UML class diagram model enhanced by OCL restrictions. Puzzle rules and questions are expressed as either partial object diagrams or OCL formulas within the model. Solutions can be fou...

2002
Damien Pollet Didier Vojtisek Jean-Marc Jézéquel

Software developers spend most of their time modifying and maintaining existing products. In a recent article [7] we focused on the definition of UML refactorings (i.e. behavior-preserving transformations) specified by meta-level OCL pre& post-conditions. In this paper we propose to extend OCL with model modification features, thus allowing to implement model transformations at the same abstrac...

2002
Achim D. Brucker Burkhart Wolff

We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardization process within the OMG; our work is an attempt to accompany this process by a proposal solving open questions in a consistent way and exploring alternatives of the language design. Moreover, our encoding gives the foundation...

2002
Achim D. Brucker Burkhart Wolff

We compare several formal and informal approaches to define the semantics of the Object Constraint Language (OCL) [22]. This comparison reveals a number of minor and major design problems to be settled in upcoming versions of the OCL standard. We review these problems in the context of our work of providing a formal semantics of OCL through an conservative embedding in HOL using the Isabelle th...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید