The objective of this research is to seek the exact nature of how an organization should apply a service-oriented design to systems that were previously standalone heterogeneous applications. For this objective, three...
详细信息
The objective of this research is to seek the exact nature of how an organization should apply a service-oriented design to systems that were previously standalone heterogeneous applications. For this objective, three applications are developed and integrated by using a service-oriented architecture: a biometric attendance system, a surveillance system, and a point of sale system. Each application is classified by a combination of two properties: input or output heavy application, local or remote running application. Based upon the combination, two types of service-oriented integration approach, fully or partially Web serviced integration, are suggested according to the extent of the usage of Web services. Based upon the experiences gained from developing the three applications, the guidelines for adopting Web services are proposed when an organization is integrating applications.
Traditionally, flow charts have been used to describe industrial control systems. Flow charts provide a nice step-by-step orderliness to complex systems; but unfortunately, real systems do not operate step-by-step, th...
详细信息
Traditionally, flow charts have been used to describe industrial control systems. Flow charts provide a nice step-by-step orderliness to complex systems; but unfortunately, real systems do not operate step-by-step, they operate concurrently. In real systems there will be many actions happening simultaneously. Trying to use flow charts to describe concurrent systems becomes a difficult and complex task. Trying to write programs from such flow charts is even more of a chore, and such programs will not usually run efficiently. Nowadays, there is a lot of talk about describing complex industrial systems as "state-action machines." Using state-action machines is a big step in the right direction, but many programmers continue to try to use flow chart techniques to describe state-action machines. This practice leads to diagrams that are in some cases more complex than traditional flow charts. This paper describes a way to create complex control systems as interacting sets of state-event-action (SEA) modules. The SEA method involves dividing any machine, assembly line, or process into distinct modules. Each module progresses through its own particular set of states, and responds with specific actions to external and internal events according to its state.
We present an approach for producing oracles from TLA (temporal logic of action) specification of a system. Such oracles are useful, for monitoring purposes, to detect temporal faults by checking a running implementat...
详细信息
We present an approach for producing oracles from TLA (temporal logic of action) specification of a system. Such oracles are useful, for monitoring purposes, to detect temporal faults by checking a running implementation of a system against a verified behavioral model. We use the Ben-Ari classical incremental garbage collection algorithm for illustration.
This paper introduces a heuristic solution to the multiple restricted multiplication (MRM) optimization problem. MRM refers to a situation where a single variable is multiplied by several coefficients which, while not...
详细信息
This paper introduces a heuristic solution to the multiple restricted multiplication (MRM) optimization problem. MRM refers to a situation where a single variable is multiplied by several coefficients which, while not constant, are drawn from a relatively small set of values. The algorithm involves deriving directed acyclic graphs representing multiple constant multiplication obtained for each time step and then merging these graphs into a single MRM graph. For FPGA implementation, the proposed approach results in significant area savings, especially for large problem sizes, and is time-efficient compared to a previous optimum approach using integer linear programming.
In this paper a universal framework for mining long first-order frequent patterns in text data is presented. It consists of RAP, an ILP system for mining maximal first-order frequent patterns, and two types of predefi...
详细信息
In this paper a universal framework for mining long first-order frequent patterns in text data is presented. It consists of RAP, an ILP system for mining maximal first-order frequent patterns, and two types of predefined background knowledge. Two methods of using generated patterns for solving text mining tasks are described: propositionalization and CBA (class based association). A new variant of the CBA rule based classifier is proposed. The framework is used for solving three text mining tasks: information extraction from biomedical texts, context-sensitive text correction of English and morphological disambiguation of Czech. The distributed mining of frequent patterns is described and its influence on mining in text is discussed. It is shown that frequent patterns as new features for propositionalization usually provide better results than CBA
In this paper, we present a model-driven approach to business performance management (BPM). BPM is a new frontier in IT-enabled enterprise that supports the monitoring and control of business operations. BPM solutions...
详细信息
In this paper, we present a model-driven approach to business performance management (BPM). BPM is a new frontier in IT-enabled enterprise that supports the monitoring and control of business operations. BPM solutions must be able to efficiently process business events, compute business metrics, detect business situations, and provide the real-time visibility of key performance indicators. In addition, system support is required for the rapid development of BPM solutions and the adaptation of the solutions to the dynamic business environment. We have adopted a meta-model, dubbed the observation meta-model, for capturing the business requirements for BPM, which frees solution developers from low-level programming concerns. We have also used a hybrid compilation-interpretation approach to map an observation model to the runtime executable. First, we extract and refactor the data aspect of the observation model to facilitate runtime access. Second, we compile the operational aspect of the model, such as logic for metric computation and situation detection, into Java code. Third, we develop a runtime engine that interprets the refactored model and dynamically loads the generated code, according to the meta-model. Our framework further enables the evolution and hot deployment of the observation model and provides the platform for several on-going customer engagement efforts
This article is an overview of the GIPSY demand migration system (DMS). This system brings a demand driven execution engine like the one used in the GIPSY to a high level of distributiveness and interoperability of op...
详细信息
This article is an overview of the GIPSY demand migration system (DMS). This system brings a demand driven execution engine like the one used in the GIPSY to a high level of distributiveness and interoperability of operational nodes, by mixing together advanced distributed technologies. The main demand migration system's artifacts are discussed, and their different distributions within the GIPSY are surveyed. The article concludes with a presentation of a successful GIPSY demand migration implementation, based on JINI. This paper describes only the aspects of the GIPSY demand migration, i.e. it does not deal with load balancing and efficiency aspects of the GIPSY, as these are to be tackled by other subsystems of the GIPSY.
FPGA-based soft multiprocessors are viable system solutions for high performance applications. They provide a software abstraction to enable quick implementations on the FPGA. The multiprocessor can be customized for ...
详细信息
FPGA-based soft multiprocessors are viable system solutions for high performance applications. They provide a software abstraction to enable quick implementations on the FPGA. The multiprocessor can be customized for a target application to achieve high performance. Modern FPGAs provide the capacity to build a variety of micro-architectures composed of 20-50 processors, complex memory hierarchies, heterogeneous interconnection schemes and custom co-processors for performance critical operations. However, the diversity in the architectural design space makes it difficult to realize the performance potential of these systems. In this paper we develop an exploration framework to build efficient FPGA multiprocessors for a target application. Our main contribution is a tool based on Integer Linear programming to explore micro-architectures and allocate application tasks to maximize throughput. Using this tool, we implement a soft multiprocessor for IPv4 packet forwarding that achieves a throughput of 2 Gbps, surpassing the performance of a carefully tuned hand design.
We introduce the provisional trust negotiation framework PROTUNE, for combining distributed trust management policies with provisional-style business rules and access-control related actions. The framework features a ...
详细信息
We introduce the provisional trust negotiation framework PROTUNE, for combining distributed trust management policies with provisional-style business rules and access-control related actions. The framework features a powerful declarative metalanguage for driving some critical negotiation decisions, and integrity constraints for monitoring negotiations and credential disclosure.
Since business logic is complex and changes frequently, e-business software architecture becomes more complex and difficult to maintain. From the perspective of software architecture design, this paper proposes a temp...
详细信息
Since business logic is complex and changes frequently, e-business software architecture becomes more complex and difficult to maintain. From the perspective of software architecture design, this paper proposes a temporal ECA based architecture for e-business systems (TECAB) representing business logic in the form of temporal ECA, sketches a conflict-managing mechanism based on meta-action. The TECAB can separate business logic from business processing reasonably and support dynamic e-business logic effectively. TECAB has been applied to develop CRM system application, integrated with the conflict-management mechanism and storing TECA rule and action constraint with XML language
暂无评论