object-orientedprogramming languages are prevalent at present and the inherent parallelism of a wide range of applications can be expressed as groups of concurrent objects. This paper proposes a new object-level para...
详细信息
Extending expression or query capability of programming languages is one of few current directions of improvement that can be considered domain-neutral. When applied to an existing programming environment, such a work...
详细信息
In recent years, domain-independent planning has been applied to a rising number of real-world applications. Usually, the description language of choice is PDDL. However, PDDL is not suited to model all challenges imp...
详细信息
ISBN:
(纸本)9781614990987;9781614990970
In recent years, domain-independent planning has been applied to a rising number of real-world applications. Usually, the description language of choice is PDDL. However, PDDL is not suited to model all challenges imposed by real-world applications. Dornhege et al. proposed semantic attachments to allow the computation of Boolean fluents by external processes called modules during planning. To acquire state information from the planning system a module developer must perform manual requests through a callback interface which is both inefficient and error-prone. In this paper, we present the object-oriented Planning Language OPL, which incorporates the structure and advantages of modern object-orientedprogramming languages. We demonstrate how a domain-specific module interface that allows to directly access the planner state using object member functions is automatically generated from an OPL planning task. The generated domain-specific interface allows for a safe and less error-prone implementation of modules. We show experimentally that this interface is more efficient than the PDDL-based module interface of TFD/M.
NFC is a wireless technology that allows software to interact with RFID tags and that is increasingly integrated into smartphones and other mobile devices. In this paper, we present MORENA: a middleware that treats NF...
详细信息
Different programming paradigms have been introduced for enhancing the dynamic behavior of the programs. One among them is Aspect-orientedprogramming (AOP) which is having the ability to modularize the crosscutting c...
详细信息
ISBN:
(纸本)9781450311960
Different programming paradigms have been introduced for enhancing the dynamic behavior of the programs. One among them is Aspect-orientedprogramming (AOP) which is having the ability to modularize the crosscutting concerns. Patterns are reusable good-quality design practices that have proven useful in the design of software applications. In this paper we aims to validate how the AOP features can help us to reduce the need of using object-orientedprogramming (OOP) design patterns. Decorator design pattern solution to OOP peer-to-peer software design is implicit in AOP based software. To show the proof for our proposed work, we explained the idea with the help of a case-study using JXTA peer-to-peer programming and implemented it. Here we used the amalgamation of worker-object aspect-oriented design pattern, Decorator design pattern, and AOP. For better understanding UML class diagram is presented. We have obtained comprehensive results proving that the design pattern in OOP is not a design pattern in AOP to provide functionality like decorator pattern. We think that our findings could be useful for the Peer-to-Peer computing programmers and software designers can exploit to drive their work.
For more than two decades software agent technology represents one of rapidly developing areas of research. The main achievement of this trend of research was the development of new programming models that address bot...
详细信息
programming languages suitable for distributed computation contain constructs that should map well to the structure of the underlying system executing the programs, while being easily usable by the programmers and ame...
详细信息
It is well known that big-step operational semantics are not suitable for proving soundness of type systems, because of their inability to distinguish stuck from non-terminating computations. We show how this problem ...
详细信息
ISBN:
(纸本)9783642310577;9783642310560
It is well known that big-step operational semantics are not suitable for proving soundness of type systems, because of their inability to distinguish stuck from non-terminating computations. We show how this problem can be solved by interpreting coinductively the rules for the standard big-step operational semantics of a Java-like language, thus making the claim of soundness more intuitive: whenever a program is well-typed, its coinductive operational semantics returns a value. Indeed, coinduction allows non-terminating computations to return values;this is proved by showing that the set of proof trees defining the semantic judgment forms a complete metric space when equipped with a proper distance function. In this way, we are able to prove soundness of a nominal type system w.r.t. the coinductive semantics. Since the coinductive semantics is sound w.r.t. the usual small-step operational semantics, the standard claim of soundness can be easily deduced.
Process-oriented devices and systems perform a number of different tasks including measurements, filtering, display of data, control functions and optimization. They consist of communicating computing units connected ...
详细信息
ISBN:
(纸本)0889863237
Process-oriented devices and systems perform a number of different tasks including measurements, filtering, display of data, control functions and optimization. They consist of communicating computing units connected to the technical process. The way to design, construct and test such software is changing very quickly. This paper describes the use of software patterns in the design process of components requiring concurrent and real-time processing. This approach is applied to the development of a control system and tested on a Heating Automation Model in the Laboratory for Software Engineering and Real-Time systems in the department Communication and Software Engineering. Various designs in different programming languages were implemented and tested to demonstrate the applied methods.
The proceedings contain 23 papers. The topics discussed include: separation of concerns in feature modeling: support and applications;intraprocedural dataflow analysis for software product lines;features and object ca...
ISBN:
(纸本)9781450310925
The proceedings contain 23 papers. The topics discussed include: separation of concerns in feature modeling: support and applications;intraprocedural dataflow analysis for software product lines;features and object capabilities: reconciling two visions of modularity;two-way traceability and conflict debugging for AspectLTL programs;a debug interface for debugging multiple domain specific aspect languages;a fine-grained debugger for aspect-orientedprogramming;a monadic interpretation of execution levels and exceptions for AOP;adaptable generic programming with required type specifications and package templates;do we really need to extend syntax for advanced modularity?;a closer look at aspect interference and cooperation;management of feature interactions with transactional regions;and Method Shelters: avoiding conflicts among class extensions caused by local rebinding.
暂无评论