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
Classifying Java class transformations for pervasive virtualized access
2009
Proceedings of the eighth international conference on Generative programming and component engineering - GPCE '09
Preserved Fulltext
We consider the constraints imposed upon pervasive class transformation within Java, and present a framework for systematically rewriting arbitrary applications. ...
Our system accommodates all system classes, allowing both user and system classes alike to be referenced using a single object model. ...
Figure 3 shows the transformation of a single user class X to conform to the RuggedJ object model. ...
doi:10.1145/1621607.1621620
dblp:conf/gpce/McGacheyHM09
fatcat:imzuanbo5baf3gofqv5qjthjmm
Schema transformation without database reorganization
1993
SIGMOD record
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.
We s h o w that data independence, which is a neglected concept in object databases, helps to avoid reorganizations in case of capacity preserving and reducing schema transformations. ...
We informally present a couple of examples to illustrate the idea of a schema transformation methodology that avoids database reorganization. ...
This process is called (proxy) object unication. We use extend views to de ne same-functions that identify objects from one class that are \the same" as an object from another class. ...
doi:10.1145/156883.156886
fatcat:ir72nwbawnbmfkug32efbv4y7i
Maintaining behavioral consistency during schema evolution
[chapter]
1993
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 2006; you can also visit the original URL.
The file type is application/pdf.
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. ...
The latter kind is a special case of the former in that any object-preserving transformation can be regarded as an object-extending transformation. ...
One kind consists of the object-extending class transformations, presented formally in LHX93]. The other kind consists of the object-preserving transformations, presented formally in Ber91]. ...
doi:10.1007/3-540-57342-9_73
fatcat:im35rbaw6beyfe5r3gq77utvda
Synchronizing Model and Program Refactoring
[chapter]
2011
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 2017; you can also visit the original URL.
The file type is application/pdf.
models. sig Name {} sig FSObject { name: set Name, contents: set FSObject } fact { (FSObject-Dir).contents = {} } sig File extends FSObject {} ...
Object models provide abstract information about software structure, but their maintenance is difficult after refactoring takes place. ...
U [extends]{..mtsU } class S [extends]{..mtsS} class T [extends]{..mtsT } class B [extends]{ CT class U [extends]{..mtsU } class S [extends]{..mtsS } class T [extends]{..mtsT } class B [extends]{ adsB ...
doi:10.1007/978-3-642-19829-8_7
fatcat:ek4rxup35ng33nsbj2nttay4oq
Designing BP-IS Aligned Models: An MDA-based Transformation Methodology
2018
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
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.
for all business objects and activities. ...
The generation is defined in terms of transformations that ensure the alignment of the class diagram to the BPMN model by both accounting for the semantics and structure of the BPMN model, and providing ...
Transform to a class each data store/object, identified by a name, if it is not already generated. The class name has the same data object name. Then, R6 calls R1 and R2. ...
doi:10.5220/0006704302580266
dblp:conf/enase/KhlifEAB18
fatcat:gpur4lp7uvb53cfgcdjp5pgadu
Fast portable orthogonally persistent JavaTM
2000
Software, Practice & Experience
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.
Two type parameterization [1, 6] apply byte-code transformation at class loading time, these transformations are applied by using a specialized class loader. ...
This framework consists of a number of simple but powerful transformations that, among other things, allow us to semantically extend Java to provide orthogonal persistence. ...
The 'Class Replacement' transformation is extended with a replacement of a class for an abstract API equivalent class. ...
doi:10.1002/(sici)1097-024x(20000410)30:4<449::aid-spe306>3.3.co;2-p
fatcat:5qabuoe5lzdhnik6jinyi6h7qi
A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z
[chapter]
2002
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 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents a formal metamodeling approach for transforming between UML and Object-Z. ...
transformation task may be imprecise, incomplete and inconsistent. ...
Fig. 4 . 4 A class diagram showing a classification of operations in Object-Z
Fig. 6 . 6 A class diagram showing an extended structure of attributes in Object-Z
Fig. 7 . 7 A class diagram showing an ...
doi:10.1007/3-540-36103-0_55
fatcat:6mvo7yv7i5cbxoqw2dohzfsxoi
Refactoring Alloy Specifications
2004
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.
This paper proposes modeling laws for Alloy, a formal object-oriented modeling language. ...
Type { extends: option Class, implements: set Interface } part sig Class, Interface extends Type {} static sig Object extends Class {} fact TypeHierarchy { Type in (Object. ...
The extended signature has the same type of the parent signature.
static sig Object extends Class {} The static keyword denotes that the signature has exactly one element. ...
doi:10.1016/j.entcs.2004.04.014
fatcat:yvpv6vj5svew3aojourwkyj6ya
Abstract-Syntax-Driven Development of Oberon-0 Using YAJCo
2019
Journal of Information and Organizational Sciences
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 2020; you can also visit the original URL.
The file type is application/pdf.
The model is represented by Java classes with annotations defining their mapping to concrete syntax. ...
The study is based on the LTDA Tool Challenge and showcases details of abstract and concrete syntax definition using YAJCo, as well as implementation of name resolution, type checking, model transformation ...
FEI-2018-57 "Representation of object states in a program facilitating its comprehension". ...
doi:10.31341/jios.43.2.2
fatcat:vhsdq7vmujhmhjvzz4rk7kueue
A Generic Shell Approach for Kmowledge Elicitation AMD Representation im IDSs
1987
International Conference on Information 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.
A language for knowledge description, whose syntactical objects are entities, relationships, transformations, and constraints, and which allows four levels of specificity and abstraction is proposed. ...
Four levels of specificity and abstracinference mechanism that interprets the user's input tion are then identified: instances, classes, about instance-level objects in his application, subschemas, and ...
An instance (of a class) is an object that can be attributes, as well as other transformations. ...
dblp:conf/icis/Lazimy87
fatcat:yoi7gvdlgjgudbjcmycergvz24
Decomposition Without Regret
[article]
2022
arXiv
pre-print
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.
To address this issue, this paper presents a bidirectional transformation system between functional and object-oriented decomposition. ...
We prove that the transformation preserves the type and semantics of the original program. ...
Core translation rules for object-oriented decomposition
sealed trait List case object Nil extends List case class Cons(n: Int, xs: List) extends List And Set is the only candidate for transformation ...
arXiv:2204.10411v1
fatcat:bmtsggflwbdffctj7lzdvrmxty
On the duality of aspect-oriented and feature-oriented design patterns
2007
Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software - ACP4IS '07
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 2007; you can also visit the original URL.
The file type is application/pdf.
Design patterns aim at improving reusability and variability of object-oriented software. ...
For further investigations we provide a set of general rules how to transform aspect-oriented programs into feature-oriented programs. General Terms DESIGN, LANGUAGES ...
A singleton class is an idiom to limit the number of objects of a class. The singleton class is instantiated once and all subsequent requests to this class are forwarded to the unique object [9] . ...
doi:10.1145/1233901.1233906
dblp:conf/aosd/KuhlemannRAL07
fatcat:hfjk745v2jbmtcvvskncpot7jm
Open GADTs and declaration-site variance
2013
Proceedings of the 4th Workshop on Scala - SCALA '13
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.
However, in Scala it is hard to make transformations for typed ASTs type-safe. ...
Generalized algebraic data types (GADTs) allow embedding extensible typed ASTs and transformations on them. ...
= T would remain valid, but templates (classes, traits and objects) extending it (like UnsoundConst) would be forbidden. ...
doi:10.1145/2489837.2489842
dblp:conf/ecoop/Giarrusso13
fatcat:qghjqcnhungp5m23jh62pftocy
Graph Transformation by Computational Category Theory
[chapter]
2010
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 2017; you can also visit the original URL.
The file type is application/pdf.
an extensible graph transformation language. ...
Graph Transformation by Computational Category Theory. ...
public abstract class UGraphCat<SO, SM extends Mor<SO, SM>, GO extends Graph<SO, SM>, GM extends GraphMor<SM> & Mor<GO, GM>> extends GraphCat<SO, SM, GO, GM> { public UGraphCat(CatWithColimits<SO, SM> ...
doi:10.1007/978-3-642-17322-6_3
fatcat:k2hmofpotbglniqxq34b36e4hy
Scrap your boilerplate with object algebras
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015
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.
In Shy Object Algebras are used to describe complex and extensible AST structures. Using Java annotations Shy generates generic boilerplate code for various types of traversals. ...
This work has been sponsored by the Hong Kong Research Grant Council Early Career Scheme project number 27200514 ("ALGEBRA: A Programming Language for Developing Software Product Lines based on Object ...
The operation is a class implementing the Object Algebra interface (QLAlg) shown in Figure 3 . ...
doi:10.1145/2814270.2814279
dblp:conf/oopsla/ZhangCOS15
fatcat:3rrsgzwbyfbfvpuhetogptbdfy
« Previous
Showing results 1 — 15 out of 911,800 results