this report summarizes the various discussions and results from the Workshop on Analysis of Aspect-oriented Software held in conjunction withthe europeanconference on object-orientedprogramming (ecoop) in Darmstadt...
详细信息
ISBN:
(纸本)354022405X
this report summarizes the various discussions and results from the Workshop on Analysis of Aspect-oriented Software held in conjunction withthe europeanconference on object-orientedprogramming (ecoop) in Darmstadt, Germany, July 2003.
the ecoop Workshop on Mobile object Systems is now in its 9th year. Over the years, the workshop has dealt with topics related to the movement of code and data between application platforms, security, operating system...
ISBN:
(纸本)354022405X
the ecoop Workshop on Mobile object Systems is now in its 9th year. Over the years, the workshop has dealt with topics related to the movement of code and data between application platforms, security, operating system support, application quality of service, and programming language paradigms. In many cases, the workshop has been a forum to discussed traditional object-oriented issues, since mobility influences such a broad spectrum of topics.
this report covers the eighth Workshop on Component-orientedprogramming (WCOP). WCOP has been affiliated withecoop since its inception in 1996. the report summarizes the contributions made by authors of accepted pos...
详细信息
ISBN:
(纸本)354022405X
this report covers the eighth Workshop on Component-orientedprogramming (WCOP). WCOP has been affiliated withecoop since its inception in 1996. the report summarizes the contributions made by authors of accepted position papers as well as those made by all attendees of the workshop sessions.
Modeling four aspect-orientedprogramming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of what is required to support crosscut...
详细信息
ISBN:
(纸本)3540405313
Modeling four aspect-orientedprogramming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of what is required to support crosscutting structure: a common frame of reference that two (or more) programs can use to connect with each other and each provide their semantic contribution.
In this article we introduce a comprehensive set of algebraic laws for ROOL, a language similar to sequential Java but with a copy semantics. We present a few laws of commands, but focus on the object-oriented feature...
详细信息
ISBN:
(纸本)3540405313
In this article we introduce a comprehensive set of algebraic laws for ROOL, a language similar to sequential Java but with a copy semantics. We present a few laws of commands, but focus on the object-oriented features of the language. We show that this set of laws is complete in the sense that it is sufficient to reduce an arbitrary ROOL program to a normal form expressed in a restricted subset of the ROOL operators. We also propose a law for data refinement that generalises the technique from traditional modules to class hierarchies. Together, these laws are expressive enough to derive more elaborate rules that can be useful, for example, to formalize object-oriented design practices;this is illustrated through the systematic derivation of a refactoring from the proposed laws.
EOOWS (european workshop on object Orientation and Web Services) brought together the academic and the industrial perspective on Web Services. Specific results presented by the workshop participants and the broad expe...
详细信息
ISBN:
(纸本)354022405X
EOOWS (european workshop on object Orientation and Web Services) brought together the academic and the industrial perspective on Web Services. Specific results presented by the workshop participants and the broad experience of the invited speakers provided the base for a lively discussion on the challenges and potentials of service-oriented computing in relation to object-oriented technologies and methodologies. this report summarises the activities and main threads of discussion within the workshop, as well as the conclusions reached by the participants.
Software connectors are increasingly recognized as an important consideration in the design and implementation of object-oriented software systems. Connectors can be used to communicate across a distributed system, co...
详细信息
ISBN:
(纸本)3540405313
Software connectors are increasingly recognized as an important consideration in the design and implementation of object-oriented software systems. Connectors can be used to communicate across a distributed system, coordinate the activities of several objects, or adapt one object's interface to the interface of another. Mainstream object-oriented languages, however, do not provide explicit support for connectors. As a result, connection code is intermingled with application code, making it difficult to understand, evolve, and reuse connection mechanisms. In this paper, we add language support for user-defined connectors to the ArchJava language. Our design enables a wide range of connector abstractions, including caches, events, streams, and remote method calls. Developers can describe boththe run-time semantics of connectors and the typechecking semantics. the connector abstraction supported by ArchJava cleanly separates reusable connection code from application logic, making the semantics of connections more explicit and allowing engineers to easily change the connection mechanisms used in a program. We evaluate the expressiveness and the engineering benefits of our design in a case study applying ArchJava to the PlantCare ubiquitous computing application.
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.
暂无评论