Bruno Blašković

Modeling Service Dependencies in Ad Hoc Collaborative Systems

Several service management tasks or activities benefit from - or are even impossible without - the knowledge about service dependencies. Ad hoc collaborative environments impose special problems to the dependency modeling. In this paper we analyze these problems and propose a modeling approach for specifying static and dynamical aspects of dependencies. Modeling is based on the standard Unified Modeling Language, UML. Besides the standard modeling constructs we use new tagged values too. Applicability of the modeling approach is tested on prototypical applications which are developed on top of the Anhinga infrastructure

Petri net modeling for signaling protocol synthesis

High level Petri nets are powerful models for different classes of problems. The main problem addressed in this paper is reliable specification through the developed methodology for translation of requirement definitions into verified specification. The specification process is exercised through a synthesis methodology. For that purpose three different Petri net models are introduced. Maximum flexibility with different tools as well as rapid prototype tool development for the research of concurrent processes is the main achievement of such an approach.

Model checking of concurrent system with SDL/sup --/ specification

It is well known that the best results regarding concurrent system design are obtained when design errors are found in the earliest possible phase. For that purpose system specification is verified through model checking. We try to hide, as much as possible, the model checking formalism from the designers viewpoint. First, a system is modeled as a set of processes described formally as an extended finite state machine within the SDL/sup --/ language. Such a description is translated into the model checker, SPIN, where the desired properties are verified. Special attention is given to the possibility of modeling various types of transitions and to a definition of the tool where model checking is performed. With such an approach the designer can have the, SDL/sup --/ specification verified against the desired properties.

Discovering process model from incomplete log using process mining

This paper gives an overview of relevant research in the area of process mining. Process mining techniques are able to extract knowledge from event logs. The major objective of process mining is to discover, monitor and improve real processes. Process mining aims to exploit event data in a meaningful way to identify and anticipate problems, and recommend countermeasures. Additionally, process mining places the existing massive volumes of data in the context of processes. Since extracting data is an integral part of any process mining procedure, data preparation or data pre-processing requires certain efforts. Examples have been given to indicate how the chosen process mining technique deals with incompleteness in the event log data. Experiments have been made on the real data collected from information system for accommodation services.

From Declarative Model to Solution: Scheduling Scenario Synthesis

This paper presents deductive programming for scheduling scenario generation. Modeling for solution is achieved through program transformations. First, declarative model for scheduling problem domain is introduced. After that model is interpreted as scheduling domain language and as predicate transition Petri net. Generated reachability tree presents search space with solutions. At the end results are discussed and analyzed.

Architecture of Hascheck: an intelligent spellchecker for croatian language

The design and development of a spellchecker for highly inflected languages is commonly regarded as a challenging task. In this paper we present the architecture of Hascheck, a spellchecking system developed for Croatian language. We describe functional elements that make it an intelligent system and discuss specific issues related to Haschecks dictionary size as well as its guessing and learning capabilities.

Application design for ad hoc collaboration environment based on dependency injection pattern

In this paper we elaborate applicability of dependency injection pattern as a design solution for ad hoc network applications development. Dependency injection pattern promotes inversion of control. Inversion of control has to put the server to control the binding process. Our main idea was an architecture with a thin client and a server with more competences that promote competition of servers. We suppose that a server is interested to be occupied by servicing as much as possible. It discovers for possible engagements and optionally makes a dependency injection to a client. This is about servers that compete for an engagement, not about clients that find servers. Static and dynamical aspects of the application are specified by the UML. For the system implementation we used the LIME middleware and Java technology

Model checking approach for communication procedures validation

Quality assurance is an important part of communicating systems development. In order to find errors communicating procedures are analysed as early as possible, during the requirements or specification phase. This paper discuss validation of communicating procedures. Special attention is exercised on extraction of the data from real system descriptions through model extraction. Examples are given.

Linear network analyser design with heterogeneous component composition

This paper describes the development of linear network analyser software. The software development is based on coordination between heterogenous software components within (CO)/sup 4/PE metamodelling environment. As solution, the language for component coordination is introduced. Coordination formalism is based on high level Petri nets providing great flexibility and reusability during component composition.

Information modeling of applications using mobile management agents with extensible behavior in run-time

Software agent technology is a new and an emerging technology. It is an active research area today. Generally, a software agent is defined as an autonomous software entity that can interact with its environment. Mobile agents represent a special class of agents capable of transporting itself from one environment or platform to another. Agents of this type can be successfully used to assist in complex telecommunications network and system management tasks such as: operation monitoring, load balancing, rebooting, failure anticipation, problem analysis, etc. Moreover, mobile agents allow one to decrease the pressure on centralized network management systems by delegation of specific management activities from the central operations system to spatially dispersed management agents. The expected benefits represent a motive to better develop applications using agent modeling and is one of the most important phase in such a development. It is concerned with the identification and location of information in the systems and the description of information processing activities, but completely independent of the system implementation. We explain our approach to information modeling of management applications using mobile agents. The approach is based on the usage of two modeling languages: Unified Modeling Language (UML) with adequate extensions as well as the Object Constraint Language (OCL).