In design of component based applications, the designers have to produce visual such as Unified Modeling Language (UML) models, and describe the software component interfaces. Business rules and constraints are the key components in the skeletons of software components. Semantic of Business Vocabulary and Rules (SBVR) language is typically used to express constraints in natural language and the...

The Object Constraint Language (OCL) is frequently used to specify additional constraints on models, in addition, to the ones enforced by semantics of the models. It is a wellknown fact that due to the lack of familiarity with OCL, practitioners and even researcher to some extent are reluctant in using OCL. To help practitioners and researchers in writing OCL constraints for their specific prob...

In Vorlesungen diente es bisher ier Veranschaulichung der Object Constraint Language OCL. Den Studierenden wird es zur Verfügung gestellt, um Übungsaufgaben zu bearbeiten und gefundene Lösungen zu überprüfen. Durch eine bereits integrierte Visualisierung von OCL-Ausdrücken als Baumstruktur, in der Unterausdrücke bis hin zur Belegung der einzelnen Literale dargestellt werden, bietet das Werkzeug...

Many relations between model elements are expressed in OCL. However, tool support to enable synchronization of elements based on OCL-expressed relations is lacking. In this paper, we propose to use active operations in order to achieve incremental execution of some OCL expressions. Moreover, bidirectionality can also be achieved in non-trivial

This paper presents mOdCL, a Maude based evaluator of OCL expressions and validator of OCL constraints. Given its OCL expression evaluator, the use of execution strategies allows mOdCL, not only validating invariant constraints on concrete system states, but also dynamically validating invariants and preand post-conditions on the successive states obtained during system execution.

اصدرت المحكمة الاتحادية العليا قرارها المرقم (48/اتحادية /2021) في 6/6/2021 والمتضمن تقرير اختصاص الاستثنائي بتفسير التشريعات سواء كان التفسير بمناسبة الفصل بمنازعه معروضه امامها للفصل بدستورية نص او تشريع، بناء على طلب اصلي بالتفسير من احد السلطات الاتحادية، ووفق ضوابط محددة ذكرتها

We have established by differential display polymerase chain reaction of mRNA that interleukin (IL)-18 is expressed by osteoblastic stromal cells. The stromal cell populations used for comparison differed in their ability to promote osteoclast-like multinucleated cell (OCL) formation. mRNA for IL-18 was found to be expressed in greater abundance in lines that were unable to support OCL formatio...

Chemical solutions play important roles in endodontic treatment and promote ultrastructural changes in dentin surface. The aim of this study was to quantify root canal roughness at different concentrations of calcium hypochlorite (Ca(OCl)2) and sodium hypochlorite (NaOCl) by confocal laser scanning microscopy (CLSM). Fifty-two human mandibular premolars were sectioned and randomly organized int...

The aim of this paper is to present the definition of the measures for the import-coupling of OCL expressions, along with the empirical validation of these as early indicators of the maintainability of OCL expressions. This empirical validation has been carried out by means of an experiment and its replica, conducted with undergraduate students of Spanish and Argentinean universities, respectiv...