Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. the dynamic semantics of aspects is typically specified by appealing to an u...
详细信息
ISBN:
(纸本)3540405313
Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. the dynamic semantics of aspects is typically specified by appealing to an underlying object-oriented language via a compiler transformation known as weaving. this treatment is unsatisfactory for several reasons. Firstly, this semantics violates basic modularity principles of object-orientedprogramming. Secondly, the converse translation from object-oriented programs into an aspect language has a simple canonical flavor. Taken together, these observations suggest that aspects are worthy of study as primitive computational abstractions in their own right. In this paper, we describe an aspect calculus and its operational semantics. the calculus is rich enough to encompass many of the features of extant aspect-oriented frameworks that do not involve reflection. the independent description of the dynamic semantics of aspects enables us to specify the correctness of a weaving algorithm. We formalize weaving as a translation from the aspect calculus to a class-based object calculus, and prove its soundness.
MX is a new mobile caching system for collaborative applications accessing data residing in large storage repositories. MX supports mobile exchange - a direct user-to-user object transfer. Mobile exchange (MX) makes m...
详细信息
ISBN:
(纸本)3540405313
MX is a new mobile caching system for collaborative applications accessing data residing in large storage repositories. MX supports mobile exchange - a direct user-to-user object transfer. Mobile exchange (MX) makes mobile computing more effective because it enables certain kinds of collaborative work that would be impossible otherwise. MX allows disconnected peers to learn of recent unknown updates, and to apply these updates to locally-cached data. MX validates the exchange, merging the more recent and modified data. MX combines efficient support for coarse-grained data transfer with efficient fine-grained validation, in a way that avoid the problem of false sharing. Performance evaluation of the MX prototype indicates that for transactional applications, the extra cost required to support mobile exchange is moderate. Moreover, the extra cost is offset by the cost of accessing remote repositories over high-latency networks.
the power of objects lies in the flexibility of their interconnection structure. But this flexibility comes at a cost. Because an object can be modified via any alias, object-oriented programs are hard to understand, ...
详细信息
ISBN:
(纸本)354022405X
the power of objects lies in the flexibility of their interconnection structure. But this flexibility comes at a cost. Because an object can be modified via any alias, object-oriented programs are hard to understand, maintain, and analyse. Aliasing makes objects depend on their environment in unpredictable ways, breaking the encapsulation necessary for reliable software components, thus making it difficult to reason about and optimise programs, obscuring the flow of information between objects, and introducing security problems. Aliasing is a fundamental difficulty, but we accept its presence. Instead we seek techniques for describing, reasoning about, restricting, analysing, and preventing the connections between objects and the flow of information between them.
High-performance scientific computing is arguably of greater importance than heretofore in the history of computing. Traditionally used primarily in support of fission- and fusion bomb design and weather forecasting, ...
ISBN:
(纸本)354022405X
High-performance scientific computing is arguably of greater importance than heretofore in the history of computing. Traditionally used primarily in support of fission- and fusion bomb design and weather forecasting, numerically-intensive applications running on massively parallel machines may be found modeling any number of natural phenomena from the smallest scale to the largest—from nuclear dynamics to the formation and evolution of the universe—as well as for the design of human artifacts—automobiles, aircraft, internal combustion engines, pharmaceuticals—the list seems endless. Withthe announcement of the Japanese Earth Simulator—a machine ostensibly designed expressly for global environmental modeling—and subsequent announcements by other institutions and governments of intents to build comparable machines for similar purposes, it is arguable that such simulations will be the primary consumer of supercomputing capacity worldwide.
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-orientedprogramming languages allow the programmer to explicitly express relationships. this paper dis...
详细信息
ISBN:
(纸本)9783642226557;9783642226540
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-orientedprogramming languages allow the programmer to explicitly express relationships. this paper discusses how relationships facilitate the verification of multi-object invariants. We develop a visible states verification technique for Rumer, a relationship-based programming language, and demonstrate our technique on the Composite pattern. the verification technique leverages the "Matryoshka Principle" embodied in the Rumer language: relationships impose a stratification of classes and relationships (with corresponding restrictions on writes to fields, the expression of invariants, and method invocations). the Matryoshka Principle guarantees the absence of transitive call-backs and restores a visible states semantics for multi-object invariants. As a consequence, the modular verification of multi-object invariants is possible.
this report covers the activities of the workshop on"object-oriented Language Engineering for the Post-Java Era". We describe the context that led to submission of the workshop proposal, the organization of ...
详细信息
this report summarizes the results of the seventh workshop in a series of workshops on learning object-oriented concepts. the focus of this workshop was on (computer-aided) support for the teaching and learning of bas...
详细信息
the ecoop workshop on Mobile object Systems was first organized in 1995 and has been held every year since. the first two episodes in the series - entitled “objects and Agents” (1995) and “Agents on the Move” (199...
ISBN:
(纸本)3540415130
the ecoop workshop on Mobile object Systems was first organized in 1995 and has been held every year since. the first two episodes in the series - entitled “objects and Agents” (1995) and “Agents on the Move” (1996) - were exploratory in nature, reflecting a growing awareness and interest in the possibilities of mobile code and mobile objects for Internet programming. Towards the end of the 1990s, Interest in the domain began to stabilize and several mobile object systems appeared in the research community. As a consequence, further editions of the Mobile object Systems workshop concentrated on specific aspects of mobile objects. thus, the title of the 1997 workshop was “Operating System Support”, the theme of the 1998 workshop was “Security”, and the theme of the 1999 installment was “programming Language Support”.
the objective of the 13th edition of Ph Doctoral Students in object-oriented Systems workshop (PHDOOS) was to offer an opportunity for PhD students to meet and share their research experiences, and to discover commona...
详细信息
暂无评论