The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
System specifications can be modeled using various types of notations and diagrams regarding applications of the particular model. In this paper, we present an overview of the existing solutions, focusing on UML, BPMN and DMN models and the diagrams provided by these notations. We perform a comparison of these approaches and provide examples of representing system requirements in these notations.
We present a decision support application which can be used for alternative route generation in case of tramway traffic disruptions. Our solution is based on a mixed graph network model, where vertices represent major points and edges are used to model track sections. The proposed application uses model data stored in a set of source files and enables the user to execute one of four algorithms which...
Process models can specify various aspects of business processes. In this paper, we present an overview of the existing solutions for describing time aspects of such models. We focus on Business Process Model and Notation and provide examples of representing time patterns in this notation. As temporal issues can be specified using temporal logics, we provide a short overview of selected temporal logics...
This paper is aimed at presenting some general construction method of the hybrid plan controller for some task of temporal planning with preferences. This construction is multi-stage and it begins with a description of a chosen robot environment and its plan in some extended version of Linear Temporal Logic. This description is later transformed to the appropriate preferential Büchi automaton. In...
This paper is aimed at proposing a new convolution-based approach to the specification of solutions of the so-called Simple Temporal Problem under Uncertainty. We intend to show that this approach type allows us to extend some intuitive and common-sense solutions -that can be obtain in a rudimentary way - to the whole class definable by the appropriate functions. We show how their features can be...
In this paper a preferential extension of the Halpern-Shoham logic (HS) is proposed. The proposed extension (PHS) may be exploited for a representation of both temporal relations and preferences, which adds some “rationality” for temporal reasoning. The next, a new interval-based fibred semantics will be proposed for some subsystem of PHS with temporal modalities restricted to 〈L〉-operator, denoted...
In this paper we propose a multi-valued extension of the Halpern-Shoham logic (HS). The HS system is a modal logic of time intervals, with a rich set of ordering relations between intervals, which is potentially useful for temporal planning issues. Our extension may be exploited for a representation of both temporal relations and preferences, which adds some "rationality' for this planning. The...
This paper presents a comparative analysis of expressive power of PDDL and its known extensions versus a language of a Fuzzy Logic for Integrals (as a far extension of Łukasiewicz logic) with respect to some components of temporal planning. This comparative perspective is determined not only by the problem of the representation of planning objects, actions and preferences, but also by some ability...
Modeling based on a graphical notation understandable for different specialists has become very popular. Within the area of business processes, the most common one is the Business Process Modeling and Notation (BPMN). BPMN is aimed at all business users who design, analyze, manage and monitor business processes. Most papers in this area focus on making use of the possibilities that BPMN makes available,...
One of the challenges of knowledge management is handling inconsistency. Traditionally, it was often perceived as indication of invalid data or behavior and as such should be avoided or eliminated. However, there are also numerous situations where inconsistency is a natural phenomena or carry useful information. In order to decide how to manage inconsistent knowledge, it is thus important to recognize...
Business Process models in the case of real life systems are often very complex. Hierarchization allows for managing model complexity by “hiding” process details into sub-levels. This helps to avoid inconsistencies and fosters reuse of similar parts of models. Configuration, in turn, gives the opportunity to keep different models in one configurable model. In the paper, we propose an approach for...
Modeling Business Processes has become a challenging issue of todays' Knowledge Management. As such it is a core activity of Knowledge Engineering. There are two principal approaches to modeling such processes: Business Process Modeling and Notation (BPMN) and Business Rules (BR). Both of them are to certain degree complementary. In this paper, we investigate how to build a logical model of BPMN using...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.