Filters








618 Hits in 1.7 sec

Report on the Aachen OCL Meeting [article]

Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff
2014 arXiv   pre-print
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

Workshop in OCL and Textual Modelling [chapter]

Robert Bill, Achim D. Brucker, Jordi Cabot, Martin Gogolla, Antonio Vallecillo, Edward D. Willink
2018 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

Safe Navigation in OCL

Edward D. Willink
2015 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
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

Optimized Declarative Transformation: First Eclipse QVTc Results

Edward D. Willink
2016 International Conference on Software Technologies: Applications and Foundations  
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 first
more » ... of the new Eclipse QVTc implementation demonstrating scalability and major speedups through the use of metamodel-driven scheduling and direct Java code generation.
dblp:conf/staf/Willink16 fatcat:l2w5kni6lbhxbb46znwl4xwevu

A Validity Analysis to Reify 2-valued Boolean Constraints

Edward D. Willink
2021 International Conference on Software Technologies: Applications and Foundations  
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 invalid
more » ... tations and so guarantees that Constraints are 2-valued and that OCL-based Model Transformations do not malfunction.
dblp:conf/staf/Willink21 fatcat:odiyn6pijvhf7j7diswr6tziqe

On Challenges for a Graphical Transformation Notation and the UMLX Approach

Edward D. Willink
2008 Electronical Notes in Theoretical Computer Science  
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

A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax [chapter]

Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige
2016 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

The Side Transformation Pattern: Making Transforms Modular and Re-usable

Edward D. Willink, Philip J. Harris
2005 Electronical Notes in Theoretical Computer Science  
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

A text model - Use your favourite M2M for M2T

Edward D. Willink
2018 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
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

A SWOT Analysis of the Object Constraint Language

Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink
2021 International Conference on Software Technologies: Applications and Foundations  
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,
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).
dblp:conf/staf/CabotCCGVW21 fatcat:elkb2ke5wjdbvb5iczqlwnhb2e

An OCL-based Bridge from Concrete to Abstract Syntax

Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige
2015 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
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 can
more » ... the problematic parts of the specifications as complete, checkable, re-useable models.
dblp:conf/models/HerreraWP15 fatcat:mpan54vwebbyhmtlv5btli4pfa

Recent Developments in OCL and Textual Modelling

Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
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

Local Optimizations in Eclipse QVTc and QVTr using the Micro-Mapping Model of Computation

Edward D. Willink
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
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

Page 8 of National Union Catalog Vol. 164, Issue [page]

1942 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.  ... 

Page 386 of National Union Catalog Vol. 3, Issue [page]

1953 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