J. Object Technol.最新文献_第9页

Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code 从MDA角度看基于类的可见性:从访问图到艾菲尔代码

J. Object Technol. Pub Date : 2004-04-01 DOI: 10.5381/jot.2004.3.4.a10

Gilles Ardourel, M. Huchard

{"title":"Class-based Visibility from an MDA Perspective: From Access Graphs to Eiffel Code","authors":"Gilles Ardourel, M. Huchard","doi":"10.5381/jot.2004.3.4.a10","DOIUrl":"https://doi.org/10.5381/jot.2004.3.4.a10","url":null,"abstract":"exporting mechanism. These mechanisms are often static and class-based, sometimes method-based, giving classes the status of both the client and service provider. They help in hiding implementation as well as capturing part of the domain rules on access rights. We explore solutions for introducing design and implementation of class-based access control from a Model-Driven Architecture (MDA) perspective. As UML proposes only language-dependent solutions for access control representation, we consider extending UML with access graphs, a formalism previously introduced for comparing and reasoning about static access rights. In this paper, we describe the integration of AGATE, a suite of access graph based tools dedicated to access control, in the MDA process. We focus on two access control design tools operating at the Platform-Independent Model (PIM) level: the Rule Adapter makes access graphs compliant with specific design rules while the Client Discovery Module adds new relevant classes expressing client organization. Mapping to a Platform-Specific Model (PSM) is illustrated with the Eiel Access Graph Adapter and rules for generating code from this PSM are presented.","PeriodicalId":383341,"journal":{"name":"J. Object Technol.","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128328328","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Adding wildcards to the Java programming language 向Java编程语言添加通配符

J. Object Technol. Pub Date : 2004-03-14 DOI: 10.1145/967900.968162

Mads Torgersen, Erik Ernst, Christian Plesner Hansen, P. Ahé, Gilad Bracha, N. Gafter

{"title":"Adding wildcards to the Java programming language","authors":"Mads Torgersen, Erik Ernst, Christian Plesner Hansen, P. Ahé, Gilad Bracha, N. Gafter","doi":"10.1145/967900.968162","DOIUrl":"https://doi.org/10.1145/967900.968162","url":null,"abstract":"This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of use-site variance, wildcards provide a type safe abstraction over different instantiations of parameterized classes, by using '?' to denote unspecified type arguments. Thus they essentially unify the distinct families of classes often introduced by parametric polymorphism. Wildcards are implemented as part of the upcoming addition of generics to the Java™ programming language, and will thus be deployed world-wide as part of the reference implementation of the Java compiler javac available from Sun Microsystems, Inc. By providing a richer type system, wildcards allow for an improved type inference scheme for polymorphic method calls. Moreover, by means of a novel notion of wildcard capture, polymorphic methods can be used to give symbolic names to unspecified types, in a manner similar to the \"open\" construct known from existential types. Wildcards show up in numerous places in the Java Platform APIs of the upcoming release, and some of the examples in this paper are taken from these APIs.","PeriodicalId":383341,"journal":{"name":"J. Object Technol.","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121248102","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 144

The Theory of Classification, Part 11: Adding Class Types to Object Implementations 分类理论，第11部分:向对象实现添加类类型

J. Object Technol. Pub Date : 2004-03-01 DOI: 10.5381/jot.2004.3.3.c1

A. Simons

引用次数: 6

Integrating BON and Object-Z 整合BON和Object-Z

J. Object Technol. Pub Date : 2004-03-01 DOI: 10.5381/jot.2004.3.3.a3

R. Paige, P. Brooke

引用次数: 6

The Theory of Classification, Part 9: Inheritance and Self-Reference 分类论第九部分:继承与自我参照

J. Object Technol. Pub Date : 2003-11-01 DOI: 10.5381/jot.2003.2.6.c2

A. Simons

引用次数: 10

Understanding Symmetry in Object-Oriented Languages 理解面向对象语言中的对称性

J. Object Technol. Pub Date : 2003-09-01 DOI: 10.5381/jot.2003.2.5.a3

Liping Zhao, J. Coplien

{"title":"Understanding Symmetry in Object-Oriented Languages","authors":"Liping Zhao, J. Coplien","doi":"10.5381/jot.2003.2.5.a3","DOIUrl":"https://doi.org/10.5381/jot.2003.2.5.a3","url":null,"abstract":"Abstract The success of symmetry applications in many scientific disciplines has motivated us to explore symmetry in software. Our exploration is based on an informal notion that symmetry is the possibility of making a change together with some aspect that is immune to this change. In this view, symmetry has a duality of change and constancy whereby some aspect of an object can be changed while leaving other key aspects invariant. This view of symmetry is a fundamental concept underpinning many symmetry principles in the physical sciences. We have found that we can explain some object-oriented language constructs using this notion of symmetry. This article explores symmetry in object-oriented languages and also provides other examples of symmetry outside of object-oriented programming to show that symmetry considerations broaden beyond object orientation to other areas of software design. 1 INTRODUCTION The success of symmetry applications in many scientific disciplines has motivated us to explore symmetry in software [7][8][31]. Our exploration is based on an informal notion that symmetry is the possibility of making a change while some aspect remains immune to this change. In this view, symmetry has a duality of change and constancy whereby some aspect of an object can be changed while leaving other key aspects invariant. This view of symmetry has underpinned many principles in the physical sciences. For example, one of the most important conservation laws is that of mass-energy. This law derives from the symmetry principle that physical laws are invariant with respect to time; that is, the amount of energy present before any physical interaction must equal the amount available after the interaction. We have found that this notion of symmetry also underpins some object-oriented language constructs. This article presents our understanding of symmetry and its role in object-oriented languages. We believe a proper understanding of symmetry is important not only to software design, but also to software maintenance, testing and debugging, as recent","PeriodicalId":383341,"journal":{"name":"J. Object Technol.","volume":"12088 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130977244","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 13

Verification of Object-Oriented Programs with Invariants 具有不变量的面向对象程序的验证

J. Object Technol. Pub Date : 2003-07-01 DOI: 10.5381/jot.2004.3.6.a2

Mike Barnett, R. Deline, Manuel Fähndrich, K. Leino, Wolfram Schulte

引用次数: 379

The Theory of Classification, Part 8: Classification and Inheritance 《分类论》第八部分:分类与继承

J. Object Technol. Pub Date : 2003-07-01 DOI: 10.5381/jot.2003.2.4.c4

A. Simons

引用次数: 14

The Theory of Classification, Part 7: A Class is a Type Family 分类理论，第七部分:类是类型族

J. Object Technol. Pub Date : 2003-05-01 DOI: 10.5381/jot.2003.2.3.c2

A. Simons