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 application/pdf.
Filters
Report on the Aachen OCL Meeting
[article]
2014
arXiv
pre-print
Preserved Fulltext
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]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2015
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Conference on Software Technologies: Applications and Foundations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
dblp: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.
A Validity Analysis to Reify 2-valued Boolean Constraints
2021
International Conference on Software Technologies: Applications and Foundations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
dblp:conf/staf/Willink21
fatcat:odiyn6pijvhf7j7diswr6tziqe
more »
... tations and so guarantees that Constraints are 2-valued and that OCL-based Model Transformations do not malfunction.
On Challenges for a Graphical Transformation Notation and the UMLX Approach
2008
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2021
International Conference on Software Technologies: Applications and Foundations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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).
An OCL-based Bridge from Concrete to Abstract Syntax
2015
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
dblp:conf/models/HerreraWP15
fatcat:mpan54vwebbyhmtlv5btli4pfa
more »
... the problematic parts of the specifications as complete, checkable, re-useable models.
Recent Developments in OCL and Textual Modelling
2016
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2016
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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