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:
(数字)9783540362081
ISBN:
(纸本)3540002332
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 mature 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. For instance, 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 paper addresses the issue of device management system design for software agents compliant with IEEE 1073 device communication standard. Based on middleware architecture the device control layer represents a unive...
详细信息
ISBN:
(纸本)1586032798
the paper addresses the issue of device management system design for software agents compliant with IEEE 1073 device communication standard. Based on middleware architecture the device control layer represents a universal versatile object-oriented application-programming interface. the approach presented in the paper allows to implement plug-and-play integration and interoperability of medical acquisition devices within the medical device system be means of common middleware services. Adherence to Medical Data Information Base nomenclature, component part of IEEE 1073 communication standard, adds necessary consistency to presented component-based infrastructure.
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”.
Aspect-orientedprogramming is a promising idea that can improve the quality of software by reduce the problem of code tangling and improving the separation of concerns. At ecoop’97, the first AOP workshop brought to...
详细信息
this paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. this calculus simplifies the language presented in [17] in that,...
详细信息
While many books have been published on object-orientedprogramming and design, little has been said about the overall development process. In parallel, evolutionary and participatory strategies have been discussed an...
详细信息
A service definition is an abstract specification of the behavior of a software component. It provides the interface between the users of an object and its (hidden) implementation. A protocol can be a part of a servic...
详细信息
ISBN:
(纸本)3540601600
A service definition is an abstract specification of the behavior of a software component. It provides the interface between the users of an object and its (hidden) implementation. A protocol can be a part of a service, definition. It captures the conditions under which interface operations can be invoked. this is of use for the designers of clients, but also for implementers of the service, at least if the protocol mechanism provides automatic (static or dynamic) acceptability checking of invocations or messages. Existing protocol formalisms are mostly based on finite state machines that describe legal orderings of messages. this is too limited, however, to model more complex services or to handle conditions that go beyond the ordering (such as access-control or time-dependencies) without referring to a service implementation. In this paper we explore a grammar-based approach to protocol definition, i.e. we define protocols as non-deterministic grammars extended with provisions for parallellism. the resulting protocols not only define legal message sequences but can also impose context-sensitive constraints on properties of messages, like its sender or a time stamp. Protocotols are truly abstract, i.e, independent of the implementation of a service. Since we want to investigate the kinds of constructs needed in specifying protocols we do not introduce a new notation, but instead express protocols as parsers written in a lazy functional language using a technique called combinator parsing. Besides giving a complete picture of the semantics of the constructs this also allows us to show how dynamic protocol checking can be provided. the approach is illustrated through several examples and its potential and limitations are discussed.
the proceedings contain 28 papers. the special focus in this conference is on Trees in Algebra and programming. the topics include: Model checking and boolean graphs;SIGNAL as a model for real-time and hybrid systems;...
ISBN:
(纸本)9783540552536
the proceedings contain 28 papers. the special focus in this conference is on Trees in Algebra and programming. the topics include: Model checking and boolean graphs;SIGNAL as a model for real-time and hybrid systems;towards an adequate notion of observation;proving safety of speculative load instructions at compile-time;typed norms;compositional refinements in multiple blackboard systems;fully persistent arrays for efficient incremental updates and voluminous reads;back to direct style;extraction of strong typing laws from action semantics definitions;detecting determinate computations by bottom-up abstract interpretation;ELIOS-OBJ theorem proving in a specification language;incremental garbage collection without tags;approximate fixed points in abstract interpretation;dynamic typing;automatic parallelization of lazy functional programs;reversing abstract interpretations;a theory of qualified types;a semantics for multiprocessor systems;interprocedural type propagation for object-oriented languages;using the centaur system for data-parallel SIMD programming;the tensor product in wadler's analysis of lists;basic superposition is complete;observers for linear types;type inference for partial types is decidable;a provably correct compiler generator;an adequate operational semantics of sharing in lazy evaluation;modules for a model-oriented specification language and typing references by effect inference.
暂无评论