textual modelling
Recent Developments in OCL and Textual Modelling
... Abstract The panel session of the 16th OCL workshop featured a light- ning talk session for discussing recent developments and open questions in the area of OCL and textual modelling. During this session, ...
10
On the Acquisition of Conceptual Definitions Via Textual Modelling of Meaning Paraphrases
... ON THE ACQUISITION OF CONCEPTUAL DEFINITIONS VIA TEXTUAL MODELLING OF MEANING PARAPHRASES O N T H E A C Q U I S I T I O N O F C O N C E P T U A L D E F I N I T I O N S V I A T E X T U A L M O D E L L[.] ...
5
Volume 44: OCL and Textual Modelling 2011
... Try and Any for semi-automatic snapshot generation seems to bear good prospects for use. The workflow modeling and execution approach is a new application for the USE tool and ASSL. [r] ...
13
Volume 44: OCL and Textual Modelling 2011
... corresponding textual rep- ...the textual representation is provided as an expression that specifies how the text should be built using the partial instruction’s ...
17
Volume 44: OCL and Textual Modelling 2011
... the textual modeling framework F URCAS , OCL is extensively used for the definition of lookup and attribution ...a textual representation is created and updated ...
21
Volume 44: OCL and Textual Modelling 2011
... In our work, the OCL constraints were taken from the UML 2.3 superstructure specifi- cation as available from the OMG website [Obj10]. We investigated the OCL expressions marked as constraints only. Since only the OCL ...
20
Volume 44: OCL and Textual Modelling 2011
... evaluates OCL queries and stores the information inside a result model built on the fly. This result model is exploited through a multi–tab user interface where a distinction is made between check and metric rules. The ...
19
Workshop in OCL and Textual Textual Modelling: Report on Recent Trends and Panel Discussion
... Textual modeling in general and OCL in particular are well established. This year does not only mark the 17th edition of the OCL workshop, it also marks the twentieth anniversary of the first publication of the ...
6
Volume 44: OCL and Textual Modelling 2011
... The return type demonstrates the construction of a Set of Tuples whose element types are defined by the type template parameter T and the operation template parameter T2.. This provides [r] ...
21
Volume 44: OCL and Textual Modelling 2011
... The Object Constraint Language (OCL) evolved, initially within the Unified Modeling Language (UML) as the textual language for expressing constraints that could not be represented graph- ically. As part of the UML ...
21
Volume 44: OCL and Textual Modelling 2011
... Monitoring an application in the presented way allows a user to monitor the validity of UML constraints like multiplicities or compositions, invaraints, pre- and postconditions without t[r] ...
21
Volume 44: OCL and Textual Modelling 2011
... In this section we show how tool support for animation can be accomplished for OCL operation contracts that include objective functions.. Animation [ DKC89 ] is the task of performing co[r] ...
19
Volume 44: OCL and Textual Modelling 2011
... The evaluator pivots around the definition of sorts OclType , to represent any predefined OCL type, and OclExp , to represent valid OCL expressions, and works on system states rep- resen[r] ...
20
Volume 36: OCL and Textual Modelling
... Frequently, each form represents a different subset of the overall model. For example, the Object Constraint Language (OCL) for UML has no graphical representation. OCL annotations are simply encoded in UML diagrams ...
19
Volume 36: OCL and Textual Modelling
... The Object Constraint Language (OCL)[Objc] evolved, initially within the Unified Modeling Language (UML)[Obje], to capture modeling constraints that were inappropriate to express graphically. It was recognized that the ...
16
Volume 36: OCL and Textual Modelling
... error handling documentation specification and generation version management reuse support OCL testing support of libraries editing support static analysis macro mechanism collaborative [r] ...
16
Volume 36: OCL and Textual Modelling
... Then, except for the case of iterator expressions whose body -subexpressions are themselves iterator expressions (i.e., the case of nested iterator expressions), which we will discuss la[r] ...
17
Volume 36: OCL and Textual Modelling
... An OppositeProper- tyCallExp describes the navigation of a reference between two elements that are not explicitly connected via an EReference pointing from the source element to the targ[r] ...
7
Volume 36: OCL and Textual Modelling
... In this context, the current paper aims at contributing to the set up of a framework support- ing an accurate definition of the static semantics of modeling languages and enabling effici[r] ...
15
Volume 36: OCL and Textual Modelling
... Concepts in metamodelling in general and model transformations in particular, can be for- malised, using the well researched and formally founded field of graph theory. As models con- sist of objects (nodes) and links ...
16