This paper presents a solution to a problem of preventing software exceptions that arise when copying softwarecomponents developed for one domain into software structures in a similar but somewhat different domain. T...
详细信息
This paper presents a solution to a problem of preventing software exceptions that arise when copying softwarecomponents developed for one domain into software structures in a similar but somewhat different domain. This particular problem has not been previously addressed in the design of object-oriented languages whose intent is to enhance software reuse. New object-oriented structures are presented along with a solution to this problem, using the new properties of inheritance relation in copyable and out copyable. An effective method is presented for identifying and assessing potential errors in a given object-oriented structure due to copying of objects and classes into such an object-oriented structure, using an axiomatic semantic object structure approach.
This paper presents a solution to a maintenance problem arising when reusing softwarecomponents developed for one domain in software structures in a similar domain. Object structures are directed graphs where edges a...
详细信息
This paper presents a solution to a maintenance problem arising when reusing softwarecomponents developed for one domain in software structures in a similar domain. Object structures are directed graphs where edges are either inheritance or client-server associations, and nodes are abstract data types. The formal logic for abstract data types used in the formal method is first-order predicate logic, and the proof system uses natural deductive logic. This logic and proof system is the background formal logic system, and the semantic part of each object definition uses this formal logic system. A solution to the reusability problem is presented using the new properties of inheritance relation in copyable and out copyable, as well as client-server fan in copyable and fan out-copyable. This solution to the reusability problem is presented by means of an effective method using a framework for identifying and assessing defects in a given object-oriented structure. Several different kinds of formal logic defects are identified which can occur during reusing of object definitions represented as abstract data types in object-oriented structures. An algorithmic implementation corresponding to each formal specification reusability theorem is presented, and the performance of each algorithmic case is discussed. The algorithms are efficient. (C) 1998 Elsevier Science Inc. All rights reserved.
One of the major issues dealing with any workflow management frameworks is the components interoperability. In this paper, we are concerned with the Apache UIMA framework. We address the problem by considering separat...
详细信息
ISBN:
(纸本)9782951740877
One of the major issues dealing with any workflow management frameworks is the components interoperability. In this paper, we are concerned with the Apache UIMA framework. We address the problem by considering separately the development of new components and the integration of existing tools. For the former objective, we propose an API to generically handle TS objects by their name using reflexivity in order to make the components TS-independent. In the latter case, we distinguish the case of aggregating heterogeneous TS-dependent UIMA components from the case of integrating non UIMA-native third party tools. We propose a mapper component to aggregate TS-dependent UIMA components. And we propose a component to wrap command lines third party tools and a set of components to connect various markup languages with the UIMA data structure. Finally we present two situations where these solutions were effectively used: Training a POS tagger system from a treebank, and embedding an external POS tagger in a workflow. Our approch aims at providing quick development solutions.
Conceptualising and developing a new software solution is always a daunting task, even more so when existing technologies of international partners are to be integrated into a unique and holistic product, as is the ca...
详细信息
ISBN:
(纸本)9781450365680
Conceptualising and developing a new software solution is always a daunting task, even more so when existing technologies of international partners are to be integrated into a unique and holistic product, as is the case in many international research and innovation projects. The individual requirements not only of each tool, but of the resulting solution as a whole, must be considered as well as the problem domain. The approach presented in this paper uniquely combines existing structuring and modelling techniques, resulting in an information flow model and interface definition specifications appropriate for international projects. It is based on an approach developed for an EU cybersecurity project and for its specific requirements, but due to its flexibility seen as appropriate for other domains as well. Complex systems consisting of different existing software solutions are represented in a conceptual model of their internal processes and the connecting information flows, thereby facilitating further software development and adaptations. Additionally, the exact identification and accounting of all information flows are essential requirements for modelling according to security and privacy by design principles, as for example prescribed by privacy and impact assessment guides and required by the General Data Protection Regulation (GDPR).
This research presents a benchmark for the evaluation of active rules within a distributed componentintegration environment. The benchmark is based on the OBJECTIVE active database benchmark. Our work was specificall...
详细信息
This research presents a benchmark for the evaluation of active rules within a distributed componentintegration environment. The benchmark is based on the OBJECTIVE active database benchmark. Our work was specifically performed in the context of the integration Rules (IRules) project that uses active rules for the integration of distributed softwarecomponents, which are based on the Enterprise JavaBeans component model. In addition to mapping the test rules of the OBJECTIVE benchmark to the integration rules of the]Rules system, we have extended the OBJECTIVE benchmark to test additional features of a component-based active rule system, such as the event detection time, the rule execution time related to the invocation of methods on components, asynchronous coupling modes, and the rule processor execution time under a heavy event load. Although the research presents specific performance evaluation results for the Mules project, the approach more generally demonstrates the manner in which an existing rule processing benchmark for a centralized environment can be adapted and extended for use in a rule-based approach to distributed componentintegration.
暂无评论