Assistance System for OCL Constraints Adaptation during Metamodel Evolution.

The architecture of iOCL is presented in Figure 1. As shown in the figure, iOCL has five key functionalities: 1) reading an UML model, on which OCL constraints can be specified,

e 1 OCL 1 , ... Phase 2 runs an impact analysis to identify the impacted OCL constraints that need to be co-evolved. After that, the appropriate resolutions are proposed for

Proceedings of the National Academy of Sciences of the United States of America 106:8597–8600. Review: game theory of public goods in one-shot social dilemmas without assortment.

Self-contained: With the goal in mind of using the proposed internal DSL to rewrite part of the OMG specifications, the declaration of the CS2AS bridge for a particular CS element

Note that our logic differs from dynamic epistemic logic, where no reduction axiom for announcements followed by the common belief operator exist.. Intu- itively, it means that C

When a Result of the evaluation (Numerical from Metrics or Logical from Practices) does not satisfy the expectations of the quality expert, that is, the Achieved Quality does

the operations sequentially from left to right (Kieran, 1979), and then how college students use mnemon- ics devices to remember order of operations since they do not understand

Zio, Estimating the small failure probability of a nuclear passive safety system by means of an efficient adaptive metamodel-based subset importance sampling method, in: Luca