911,800 Hits in 8.1 sec

Classifying Java class transformations for pervasive virtualized access

Phil McGachey, Antony L. Hosking, J. Eliot B. Moss
2009 Proceedings of the eighth international conference on Generative programming and component engineering - GPCE '09  
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

Markus Tresch, Marc H. Scholl
1993 SIGMOD record  
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]

Paul L. Bergstein, Walter L. Hürsch
1993 Lecture Notes in Computer Science  
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]

Tiago Massoni, Rohit Gheyi, Paulo Borba
2011 Lecture Notes in Computer Science  
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

Wiem Khlif, Nourchene Elleuch, Enaam Alotabi, Hanêne Ben-Abdallah
2018 Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering  
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

Alonso Marquez, John N. Zigman, Stephen M. Blackburn
2000 Software, Practice & Experience  
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>;2-p fatcat:5qabuoe5lzdhnik6jinyi6h7qi

A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z [chapter]

Soon-Kyeong Kim, David Carrington
2002 Lecture Notes in Computer Science  
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

Rohit Gheyi, Paulo Borba
2004 Electronical Notes in Theoretical Computer Science  
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

Sergej Chodarev, Michaela Bačíková
2019 Journal of Information and Organizational Sciences  
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

Rafael Lazimy
1987 International Conference on Information Systems  
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]

Weixin Zhang, Cristina David, Meng Wang
2022 arXiv   pre-print
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

Martin Kuhlemann, Marko Rosenmüller, Sven Apel, Thomas Leich
2007 Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software - ACP4IS '07  
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

Paolo G. Giarrusso
2013 Proceedings of the 4th Workshop on Scala - SCALA '13  
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]

Mark Minas, Hans Jürgen Schneider
2010 Lecture Notes in Computer Science  
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

Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, Tijs van der Storm
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015  
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