Lack of awareness about the potentials of agent technology, as well as concerns regarding stability, scalability, and survivability especially in unpredictable environments of attacks and system failures are identifie...
详细信息
ISBN:
(纸本)9781467347372;9781467347358
Lack of awareness about the potentials of agent technology, as well as concerns regarding stability, scalability, and survivability especially in unpredictable environments of attacks and system failures are identified as major reasons for missing trust in the idea of delegating tasks to autonomous agents. Therefore, one of the key research issues is how the quality of Multi-Agent Systems can be assured, while at the same time reducing the development efforts to enhance the acceptance of agent technology in the industry. In order to ensure the industrial relevance, we focus on development of methods and techniques for the evaluation and tests of agent-based control applications. Our research covers the development of demonstration framework, including pilot implementations in industrial-like settings.
Finite state machines (FSMs) are widely used as a mean to model the behavior of systems and/or processes, but they are not supported by general purpose programming languages. To avoid implementations that are difficul...
详细信息
ISBN:
(纸本)9781467303118
Finite state machines (FSMs) are widely used as a mean to model the behavior of systems and/or processes, but they are not supported by general purpose programming languages. To avoid implementations that are difficult to develop, and mostly maintain, frameworks have been developed for the FSM domain. Ideally, frameworks should be easy to learn and use, and provide as much support as possible. They should also enforce design rules, while keeping flexibility. However, there are tradeoffs between these aspects, and thus a balance must be found. object-oriented frameworks that we have found in the literature do not meet this set of characteristics, but one stands out. We discuss its use to develop an example application (electric lock control), demonstrating important limitations. Based on that analysis, we propose a new framework that is small, efficient, and provides a powerful set of features for implementing FSMs. The framework is easy to learn and use, fully supports both Mealy and Moore machines, enables semantically correct state minimization, and offers conditional transitions.
In this paper we investigate new dynamic semantics of component based Petri nets that we propose for describing behavior models of event-driven concurrent systems made up of active components. Each of our Petri net mo...
详细信息
ISBN:
(纸本)9781467329255;9781467329224
In this paper we investigate new dynamic semantics of component based Petri nets that we propose for describing behavior models of event-driven concurrent systems made up of active components. Each of our Petri net modules is related to one component of the system under design and all these modules are linked to each other so that this allows them to asynchronously communicate using an event flow throughout their interface places and transitions. We also give a modular method for building the state space of this kind of Petri nets by combining those of its modules. We first give a new algorithm for state exploration of the modules in accordance to statecharts run-to completion policy that controls the way active components are executed and thereafter we combine the produced reachability graphs using a parallel operator to yield the whole state space of the system.
The consequence of the increase of automation and therefore the growing complexity of automation tasks is a necessity for using distributed control architectures. This implicates a support for developers in the engine...
详细信息
ISBN:
(纸本)9781467347372;9781467347358
The consequence of the increase of automation and therefore the growing complexity of automation tasks is a necessity for using distributed control architectures. This implicates a support for developers in the engineering of such distributed automation systems. For this reason, this paper focuses on the design support of distributed automation systems by use of design patterns. Important aspects are the consideration of non-functional requirements in design patterns and the integration of design patterns into the engineering workflow. This paper presents a design pattern template which supports developers with predefined automation functions which are assigned to a system function and in their selection of an appropriate distribution of automation functions, taking relevant non-functional requirements into account.
The paper presents an analysis of the owner/component relationships. The same component may be shared by several owners thus causing their vulnerability since state changes in one owner may break the invariant of othe...
详细信息
ISBN:
(纸本)9781467329842;9781467329835
The paper presents an analysis of the owner/component relationships. The same component may be shared by several owners thus causing their vulnerability since state changes in one owner may break the invariant of other. In order to avoid such situations we introduce the equilibrium predicate that describes all states that an owner can occupy without breaking invariants of other ones. Based on equilibrium predicates we analyze the correctness of the owner-component classes system, their mutual contracts and equilibriums.
The quality of the topology is the benchmark for the whole power system to measure the difficulty level, the possibility of expansion and ease of maintenance, and the topology is the basic for the various calculations...
详细信息
ISBN:
(纸本)9783037853191
The quality of the topology is the benchmark for the whole power system to measure the difficulty level, the possibility of expansion and ease of maintenance, and the topology is the basic for the various calculations in power system. In this paper, object-oriented technology will be used to establish the model of electric network equipment. The broad-first search method (BFS) and the depth-first search method (DFS) will be used to realize the topology analysis of the power system network, and the analysis process is fast and accurate.
In this work, computer aided design software for the analysis and design of Power Transmission Screws, is presented. In designing the software, the relevant equations and models were assembled and carefully programmed...
详细信息
ISBN:
(纸本)9783037852705
In this work, computer aided design software for the analysis and design of Power Transmission Screws, is presented. In designing the software, the relevant equations and models were assembled and carefully programmed using Microsoft Visual *** (an objectorientedprogramming language). Also visual representation of the solution to problems of Power Transmission Screw was developed, in form of graphical solutions. The software was tested on a variety of bench mark problems. The solutions obtained were highly accurate, thus validating the performance of software.
Plagiarism detection in software programs is very important in both academia and industry. There are many tools available today to aid in detecting plagiarism in text and source documents. Most of the plagiarism detec...
详细信息
ISBN:
(纸本)9780769549224
Plagiarism detection in software programs is very important in both academia and industry. There are many tools available today to aid in detecting plagiarism in text and source documents. Most of the plagiarism detection tools for source code do some sort of pre-processing, like removing comments & blank spaces and using uniform tokens for primitive types & variables, before actually applying intelligent matching techniques so that the tool can detect the copied code even if it is changed in format and variable names etc. In this paper, we propose a novel preprocessing approach based on design patterns such that any code that is intelligently plagiarized can also be easily located.
During the process of developing and maintaining a complex software system, developers pose detailed questions about the runtime behavior of the system. Source code views offer strictly limited insights, so developers...
详细信息
ISBN:
(纸本)9781467310673
During the process of developing and maintaining a complex software system, developers pose detailed questions about the runtime behavior of the system. Source code views offer strictly limited insights, so developers often turn to tools like debuggers to inspect and interact with the running system. Unfortunately, traditional debuggers focus on the runtime stack as the key abstraction to support debugging operations, though the questions developers pose often have more to do with objects and their interactions. We propose object-centric debugging as an alternative approach to interacting with a running software system. We show how, by focusing on objects as the key abstraction, natural debugging operations can be defined to answer developer questions related to runtime behavior. We present a running prototype of an object-centric debugger, and demonstrate, with the help of a series of examples, how object-centric debugging offers more effective support for many typical developer tasks than a traditional stack-oriented debugger.
FTT-CORBA is a middleware architecture aimed at synchronizing the task activations of a distributed system according to a plan that may be changed at runtime. In this architecture tasks are wrapped within CORBA method...
详细信息
ISBN:
(纸本)9781467347372;9781467347358
FTT-CORBA is a middleware architecture aimed at synchronizing the task activations of a distributed system according to a plan that may be changed at runtime. In this architecture tasks are wrapped within CORBA methods that are activated by a central node, the Orchestrator, over a LAN. Previous versions of FTT-CORBA focused on CPU-bound applications in which the communication time was neglectable. However, in some cases, this assumption is not valid. This work presents an add-on service, integrated within the FTT-CORBA middleware, aimed at minimizing the interference among task activation and data distribution messages. By using this new service the Orchestrator will be capable of controlling the transmission of data distribution packages from the distributed nodes by dynamically allocating them in specific time slots.
暂无评论