component-based software development (CBSD) and Aspect-Oriented softwaredevelopment (AOSD) are solutions to support software evolution by decomposing a software system into concerns. In this paper, we propose Fractal...
详细信息
component-based software development (CBSD) and Aspect-Oriented softwaredevelopment (AOSD) are solutions to support software evolution by decomposing a software system into concerns. In this paper, we propose Fractal Aspect component (FAC), a general and symmetrical model for components and aspects. FAC decomposes a software system into regular components and aspect components which embody crosscutting concerns. We reify the relationship between an aspect component and a component, called an aspect binding, as a first-class runtime entity. The evolution of the system can be expressed by adding or removing components (aspect or regular) and by setting bindings (regular or crosscutting).
Context-Aware computing studies the development of systems which exploit context information (e.g., user location, network resources, time, etc.), which is specially relevant in mobile systems and pervasive computing....
详细信息
Context-Aware computing studies the development of systems which exploit context information (e.g., user location, network resources, time, etc.), which is specially relevant in mobile systems and pervasive computing. When these systems are built assembling pre-existing softwarecomponents (COTS), the composition process must be able to solve potential interoperability problems, adapting component interfaces. In addition, the composition must be adapted to the execution conditions of such systems, which are likely to change at run-time, affecting component behaviour. This work presents an approach to the flexible composition of possibly mismatching behavioural interfaces in systems where context information can vary at run-time. Our approach enables composition at run-time, enabling dynamic changes in composition according to context changes. Furthermore, our approach simplifies the specification of composition/adaptation by keeping Separation of Concerns, and is able to handle context-triggered adaptation policies.
This work introduces a software framework called "Extended Middleware for Digital TV (EMTV)" which is suitable for the generation of interactive applications executed over digital television systems. Its con...
详细信息
ISBN:
(纸本)9783540694779
This work introduces a software framework called "Extended Middleware for Digital TV (EMTV)" which is suitable for the generation of interactive applications executed over digital television systems. Its concept was developed focusing on the Brazilian technological options for Digital TV. Technically, EMTV is a procedural GEM compliant application which, from the programmer's point of view, acts as a declarative middleware extension. The framework was developed to be component-based in order to minimize the need for programming knowledge to deploy the digital TV applications using EMTV. The main goal of the platform is to facilitate the construction of interactive educational applications, a crucial field for the Brazilian population. The concept is tested and validated by the construction of a Quiz application presented at the end of the paper.
This paper presents a requirements elicitation approach that is based on model-driven prototyping. Model-driven development fits naturally in evolutionary prototyping because modeling and design are not treated merely...
详细信息
ISBN:
(纸本)9783540897774
This paper presents a requirements elicitation approach that is based on model-driven prototyping. Model-driven development fits naturally in evolutionary prototyping because modeling and design are not treated merely as documents but as key parts of the development process. A novel rapid program synthesis approach is applied to speed up the prototype development. MDA, AI planning, and component-based software development techniques are seam-lessly integrated together in the approach to achieve rapid prototyping. More importantly, the rapid program synthesis approach can ensure the correctness of the generated code, which is another favorable factor in enabling the development of a production quality prototype in a timely manner.
One of the major problems faced by the Brazilian Population is the low level of the fundamental schools. Television is the most Popular Source of entertainment and information of the Brazilian Population being present...
详细信息
ISBN:
(纸本)9783540697343
One of the major problems faced by the Brazilian Population is the low level of the fundamental schools. Television is the most Popular Source of entertainment and information of the Brazilian Population being present in approximately 54 million families all over the Country. These families watch television for more than 8 hours daily. Moreover, at this moment, the Brazilian TV system is moving from analog to digital. That means not only that image and Sound will be delivered with much better quality but also that it will be possible to send interactive multimedia programs, creating a brand new way of watching TV. That is in fact the main novelty of the digital system it will be possible to offer personal interactive services such as banking, games and most importantly educational programs. This work introduces a software framework called "Extended Middleware for Digital TV (EMTV)" which is suitable for the C generation of interactive applications executed over digital television systems. Its concept was developed focusing on the Brazilian technological options for Digital TV. Technically, EMTV is a procedural GEM compliant application which, from the programmer's point of view, acts as a declarative middleware extension. The framework was developed to be component-based in order to minimize the need for programming knowledge to deploy the digital TV applications using EMTV. The main goal of the platform is to facilitate the construction of interactive multimedia educational applications, a crucial field for the Brazilian population. The concept is tested and validated by the construction of a Quiz application presented at the end of the paper.
Current component-based software development (CBSD) approaches rather focus on the design of software systems than on the system's high-level, coarse-grained architecture. They provide modeling techniques to descr...
详细信息
ISBN:
(纸本)9783540888741
Current component-based software development (CBSD) approaches rather focus on the design of software systems than on the system's high-level, coarse-grained architecture. They provide modeling techniques to describe the concrete structure of components and their interfaces, how they are connected and how they interact. As all effect of their focus on the design, they are not appropriate to explicitly model the fundamental rules of a software architecture like architectural patterns or reference architectures that restrict the component-based design. In this paper, we are going to identify some architectural rules in small example. Furthermore, we will outline how these rules can be used to constrain the component design based upon a modeling approach called DisCComp.
Light-weight formal method has been regarded as an important approach to development of component-based safety critical systems. The paper proposes an approach which can formally specify and verify the contract of sta...
详细信息
Light-weight formal method has been regarded as an important approach to development of component-based safety critical systems. The paper proposes an approach which can formally specify and verify the contract of static structure, dynamic behavior and refinement of component systems based on UML 2.0 superstructure. As results, the correctness of static contract can be obtained via type checking of interfaces and connectors. Dynamic contract can be verified through determining the cooperativeness of integrated components, whose contracts are depicted with interface protocol state machines and their semantics models, namely contract automata. The refinement relation between high level component and its implementation will be guaranteed through defining the alternating simulation between contract automata of components at different levels.
component-basedsoftware reuse has been widely accepted as a way of making softwaredevelopment faster, better, and cheaper. However, component markets of the kind envisaged for many decades have not yet become a usef...
详细信息
component-basedsoftware reuse has been widely accepted as a way of making softwaredevelopment faster, better, and cheaper. However, component markets of the kind envisaged for many decades have not yet become a useful tool in mainstream development. In this article, the authors discuss the underlying problems and present a new approach called "Extreme Harvesting" for test-driven component retrieval. They present examples that demonstrate how this concept works "in vitro", demonstrate its precision with the help of an experiment and discuss further challenges to be solved to make this approach of practical utility.
According to the current research status of component retrieval, the component description model based on facet classification is improved by adding semantic features. Furthermore, the component retrieval process mode...
详细信息
According to the current research status of component retrieval, the component description model based on facet classification is improved by adding semantic features. Furthermore, the component retrieval process model is put forward by combining the domain ontology with the relative concept match algorithm. A detailed illustration of a component reasoning engine and a component classification engine is given and the component classification algorithm is provided by using the Naive Bayes algorithm based on domain ontology. The experimental results show that the recall ratio and the precision ratio are obviously improved by using the method based on semantics, and demonstrate the feasibility and effectiveness of the proposed method.
One of the major challenges in the development of large component-basedsoftware systems is the system assembly problem: from a sea of available components, which should be selected and how should they be connected, i...
详细信息
ISBN:
(纸本)9781595937346
One of the major challenges in the development of large component-basedsoftware systems is the system assembly problem: from a sea of available components, which should be selected and how should they be connected, integrated, and assembled so that the overall system requirements are satisfied? We present a powerful framework for automatically solving the system assembly problem directly from system requirements. Our framework includes an expressive language for declaratively describing system-level requirements, including component interfaces and dependencies, resource requirements, safety properties, objective functions, and various types of constraints. We show how to automatically solve system assembly problems using verification technology that takes advantage of current advances in Boolean satisfiability methods. We have implemented our techniques in the CoBaSA tool (component-based System Assembly), and we have successfully applied it to several large-scale industrial examples.
暂无评论