Tibor Dulai

Test aspect of requirement specification

This paper presents the test aspect of URN. User Requirements Notation (URN) is the part of ITU-Ts family of languages. URN contains two kinds of notation. The first one, Goal-oriented Requirement Language (GRL) is used to describe business goals, non-functional requirements and alternatives. GRL can provide goals for test next to the system goals. The second one is Use Case Maps (UCM). It describes functional requirements and high level designs with causal scenarios. UCM includes information for test and has UCM-based testing approaches.

Advanced Communication Protocol Technologies: Solutions, Methods, and Applications

The rapid improvements brought about by modern telecommunications are made possible by unfettered transmission of information, which relies on the ability to send, receive and properly utilize communication. Advanced Communication Protocol Technologies: Solutions, Methods, and Applications explores the complications and solutions created by communication required between ever-expanding technologies. The research in this book encompasses the fundamentals of protocol functions and protocol operations, the controlling protocols of ISDN and mobile networks, the evolution of IP-based protocols, and advanced solutions for routing, mobility and multimedia transmission. Finally, this book addresses the various special applications in this ever important field.

A Database-oriented Workflow Scheduler with Historical Data and Resource Substitution Possibilities

This paper presents the database of a novel workflow scheduler that is able to handle resource substitution and takes into account historical data. The generated schedule can be optimized either in time or cost. The scheduler enables a resource substitution in case of an immediate event or when costor time-efficiency-related reasons necessitates it. The underlying database is able to handle complex workflows, represents the fleet of various resources and supports data mining from the data of the logged execution of the schedule in order to further improving the schedule. The database and the scheduler is a part of a complex project which schedules workflows described in XPDL by an agent system taking into account the real-time events and historical data served by process mining. Our scheduler system is intended to be applied both in business and industrial

Immediate Event-Aware Model and Algorithm of a General Scheduler

A stochastic scheduling problem is investigated in this work that considers workpieces to be manufactured according to individual recipes containing manufacturing steps performed by workstations as resources. Unexpected stochastic breakdown of a workstation or the faulty termination of a recipe, when a manufacturing failure renders the workpiece out of specifications, forms the set of immediate events. A model and an algorithm are proposed as the basis of a scheduler, which takes into account the possible immediate events, estimates their probability and suggests resource allocations which provide the best overall work-flow even when an immediate event happens. This model includes the possibility of handling alternative resources that can substitute each other in case of an immediate event, like sudden technical failure of a resource. Immediate events are not exactly predictable; however, based on previous experiences, their probabilities can be estimated. Our model uses the properties of the resources (including how they can substitute other types of resources) and the required sequence of them during the workflow (i.e. the recipes). The proposed scheduling algorithm constructs a solution workflow that reacts in the best way (in average) even for an unexpected event. The proposed model and scheduling algorithm is illustrated on two industrial case studies.

Combined Test Model

Test is important part of every industrial flow. Therefore preparation of it is in the early phase of development. An effective method is to use User Requirements Notation (URN) for it. It contains two parts: Goal‐oriented Requirement Language (GRL) and Use Case Maps (UCM). It can give the test goals with the help of and GRL and it can provide exact formal description for test generation with the help of UCM. Finally it can link to other mathematical formal models like Communicating Sequential Processes (CSP) or Control Signal CSP (CSCSP). A test system that is described by CSP, a modified CSP that is called CSCSP and a test aspect of URN is combined in this paper. The whole method becomes more useful with the combination of these three solutions, because it can be used in the area of test from the beginning to the end.

Game Theory in Fleet Management

In this survey we attempt to apply the results of cooperative game theory on fleet management problems. We deal with the aspect of a fleet where the members have their own goal, however the fleet has a common purpose too. These goals are to reach all destinations and get back to the center as quickly as possible. If we draw the map of the area‐which contains the destination points and their environment‐as a graph, we should determinate circles in it for each member of the fleet. Separating the nodes for each member, we should find Hamilton‐circles of the sub‐graphs. How to separate the destination points between the fleet members? How to route the members? What happens if there is an accident on a road which changes the way of a member? It may influence the other members’ route too. What to communicate for getting the relevant information? How to change the routes in real time? We use cooperative game theory to find the solution.

An Industrial Application Using Process Mining to Reduce the Number of Faulty Products

Process mining is a field of research that provides mining of more and more useful hidden information to the industry. The core of effective information retrieval lies in the application of process mining tools that best fits the task and the data. The current problem is that there is no universal solution available to track the formation of faulty products in time and space to make it possible to be reduced. To solve this problem, methods have been developed that can be used to analyze a production process from multiple perspectives. The methods were also implemented in software and tested on real production data. The methods created are based on time and space distribution and grouping of faulty products. The methods were applied to the processing and measurement data of an automated coil production and assembly line. The data is originally stored in different files, so before they were used, they had to be transformed and sorted into database. Using the software which use the methods, a comprehensive view of the production process can be obtained, and conclusions can be drawn from the generated statements about the state of the production tools and the possible source of the errors. The results make it possible to design more efficient maintenance, reduce outage time, and increase production time, thus reducing the number of faulty products.

Modeling of an agent system to support the management of cooperating and rival resources for business workflows

Modeling and analysis of business workflows may be strategic on behalf of the optimal execution. This paper proposes an innovative model-based approach, which can be used to resource scheduling of business workflows. To this we defined such functions that help the operation of processes, resource scheduling can be described formally during the modeling. The system uses all the information during the scheduling, which may be recorded in a log file in connection with the process execution. We can extract useful information concerning allocation of resources by analysis of the historical data, which are used to assign the resources to the implemented tasks. In the system the cooperation and contention of the resources as agents will play important role. The scheduling can be tested in an agent simulation environment. By the aid of this approach we can give decision proposal to the operator in real time to promote more optimal realization of the workflow.

A Network Model for Simulating the Dynamic Behaviour of an Energy Distribution Network

The aim of this paper is to present the planning and implementation of a network model for an energy distribution network for simulating its dynamical behaviour. The model includes different types of energy sources, distribution centres and consumers. The prepared simulation environment makes it possible to add/remove/modify any type of node – to/form/in the model. Other actions that may be carried out are the initiation/termination of an energy source or change to its production level. The main goal of the simulation is to investigate the effect of an immediate event (such as a power plant failure, decreased production, etc.) on the network and search for the most appropriate substitute possible. The search may happen either on cost bases or time bases. The system created is based on web technology, any user is able to create/save/load his own model and do simulations on it. This work serves as a basis for further work, which involves more complex electrical knowledge and possibilities regarding the network.

Instant Messaging by SIP

SIP is a general‐purpose application layer protocol which is able to establish sessions between two or more parties. These sessions are mainly telephone calls and multimedia conferences. However it can be used for other purposes like instant messaging and presence service. SIP has a very important role in mobile communication as more and more communicating applications are going mobile. In this paper we would like to show how SIP can be used for instant messaging purposes.