A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
As a continuation of the OCL workshop during the MODELS 2013 conference in October 2013, a number of OCL experts decided to meet in November 2013 in Aachen for two days to discuss possible short term improvements of OCL for an upcoming OMG meeting and to envision possible future long-term developments of the language. This paper is a sort of \minutes of the meeting" and intended to quickly inform the OCL community about the discussion topics.arXiv:1408.5698v1 fatcat:dkbjpasrujddzbcek5dccxxjbi
Lecture Notes in Computer Science
Commutative Short Circuit Operators Edward D. Willink OCL's 4-level logic has been a source of much unhappiness and while various solutions have been suggested, none have met with enthusiasm. ... | d <= deltaMax ) end ...doi:10.1007/978-3-319-74730-9_26 fatcat:b3zgnhayjzhxjb6tle6r2izslu
The null object has been useful and troublesome ever since it was introduced. The problems have been mitigated by references in C++, annotations in Java or safe navigation in Groovy, Python and Xbase. Introduction of a safe navigation operator to OCL has some rather unpleasant consequences. We examine these consequences and identify further OCL refinements that are needed to make safe navigation useable.dblp:conf/models/Willink15 fatcat:qrfydg5sajfl5p3zwpzo35czqy
It is over ten years since the first OMG QVT FAS 1 was made available with the aspiration to standardize the fledgling model transformation community. Since then two serious implementations of the operational QVTo language have been made available, but no implementations of the core QVTc language, and only rather preliminary implementations of the QVTr language. No significant optimization of these (or other transformation) languages has been performed. In this paper we present the firstdblp:conf/staf/Willink16 fatcat:l2w5kni6lbhxbb46znwl4xwevu
more »... of the new Eclipse QVTc implementation demonstrating scalability and major speedups through the use of metamodel-driven scheduling and direct Java code generation.
As an executable specification language, OCL enables metamodel constraints that cannot be sensibly expressed graphically to be resolved textually. However many users have expressed disquiet that although a constraint is obviously either satisfied or not, the OCL formulation is not 2-valued. We argue that this disquiet is the consequence of a misunderstanding emanating from the failure of the OCL specification to address crashing. We introduce an analysis that identifies potentially invaliddblp:conf/staf/Willink21 fatcat:odiyn6pijvhf7j7diswr6tziqe
more »... tations and so guarantees that Constraints are 2-valued and that OCL-based Model Transformations do not malfunction.
Freely available experimental transformation languages have begun to stimulate practical usage of textual transformation notations. The forthcoming QVT transformation languages may provide standardisation or at least interchange capabilities for these experimental languages. Graphical transformation notations are proving rather less successful. We identify many disadvantages of the graphical approach, consider how they can be circumvented and describe changes in the UMLX notation and tool support to improve usability and QVT compatibility.doi:10.1016/j.entcs.2008.04.039 fatcat:va7mjxtuwnegjgkbat4mzsmnz4
Lecture Notes in Computer Science
We created a tailored model generator for the example, configured by the following parameters: N d : Number of (top level) departments in the company model. ... D s : Depth level of (sub)departments. CS2AS specification in Gra2Mol (left) and our DSTL (right). 7 http://share20.eu 8 http://is.ieis.tue.nl/staff/pvgorp/share/? ...doi:10.1007/978-3-319-42064-6_1 fatcat:stukajhi55cz5khlu5mrg4dvoa
time of node D, and t max is the worst case computation time. ... B and C in turn compute before D completes the overall computation. ...doi:10.1016/j.entcs.2004.08.030 fatcat:6w24d3vb7nay3lylt4ecw3s3m4
Models provide a disciplined representation of information. Model-to-Model (M2M) transformations convert between model structures. When a more readable representation is required, Model-to-Text (M2T) transformations convert a model structure to a concatenation of character sequences. We ignore the obvious conversion dierences and demonstrate that an unmodied M2M tool can be used for M2T. We achieve this with a standard Text model that post-processes the M2M model output to yield formatted text.dblp:conf/models/Willink18 fatcat:3n3cec5wnnb7hinnftlwyb4r2e
The Object Constraint Language (OCL) is a textual language to describe constraints or queries over software models defined by applying the Unified Modeling Language (UML). Using OCL, it is possible to specify, for instance, integrity constraints in the form of class invariants, operation pre-conditions, or post-conditions. This paper presents a SWOT analysis (Strengths, Weaknesses, Opportunities, and Threats) of OCL, considering both its current state and future perspectives: specification,dblp:conf/staf/CabotCCGVW21 fatcat:elkb2ke5wjdbvb5iczqlwnhb2e
more »... support, applications, competitors, and the community around it. This analysis was the result of the panel discussion at the 20th International Workshop on OCL and Textual Modeling (OCL'21).
The problem of converting human readable programming languages into executable machine representations is an old one. EBNF and Attribute grammars provide solutions, but unfortunately they have failed to contribute effectively to model-based Object Management Group (OMG) specifications. Consequently the OCL and QVT specifications provide examples of specifications with significant errors and omissions. We describe an OCL-based internal domain specific language (DSL) with which we candblp:conf/models/HerreraWP15 fatcat:mpan54vwebbyhmtlv5btli4pfa
more »... the problematic parts of the specifications as complete, checkable, re-useable models.
The Importance of Opposites Edward D. Willink By itself, OCL is almost useless since it lacks models to query. ... HOL-OCL user interface and shallow mode certificathion. 2 A 2 Formal Methods Environment for OCL Achim D. Brucker, Frédéric Tuong, and Burkhart Wolff Figure 2 . 2 Figure 2. Example using ATL. ...dblp:conf/models/BruckerCDGHHTWW16 fatcat:p4b55fqxvngbpffjvgx2d2qxai
D. ... D. Typed Directed Edges Each edge is typed by a metamodel Property that defines its name, direction and cardinality, which must be somethingto-one. ...dblp:conf/models/Willink16 fatcat:ptjeoaij4jhm5f6dfvdt75m6hy
National Union Catalog
Willink, s. ra. 1. God. 2. Holiness. 1. Title. 433-397 Title from Stanford Univ. Printed by L. C. a Willink, M D R. ... Title. 20—1T8T2 BF1383.W7 rficl, Library of Congress Willink, Margaret Dorothea Rose, 1879- The holy and the living God, by M. D. ...
National Union Catalog
S8B6 56-57979 ft Bolin, Edward J Microfossils of the Niobrara formation of southeastern South Dakota. Vermillion, University of South Dakota, 1952. 4 D. 5 plates, map, diagr., table. 28cm. ... Bolin, Edward J Well logs in South Dakota east of Missouri River, by Edward J. Bolin and Bruno C. Petsch. Vermillion, Uni- versity of a Dakota, 1954. . map, tables. 28cm. (South Dakota. ...
« Previous Showing results 1 — 15 out of 618 results