Models and Tools for Improving Efficiency in Constraint Logic Programming

Constraint Satisfaction Problems typically exhibit strong combinatorial explosion. In this paper we present some models and techniques aimed at improving efficiency in Constraint Logic Programming. A hypergraph model of constraints is presented and an outline of strategy planning approach focused on entropy minimization is put forward. An example cryptoaritmetic problem is explored in order to explain the proposed approach

BPMN – A Logical Model and Property Analysis

Business Process Modeling Notation has become a powerful and widely accepted visual language for modeling business processes. Despite its expressive power and high usability, a weak point of BPMN is the lack of formal semantics and difficulties with assuring correctness of the overall process. In this paper an attempt is made towards investigation and development of foundations for a logical, declarative model for BPMN. Such model should enable formal analysis of desired properties referring to correct operation of Business Processes modeled with use of BPMN

ANOMALIE W MODELOWANIU PROCESÓW BIZNESOWYCH

In the field of business process modeling the most popular is the Business Process Modeling Notation (BPMN). BPMN is relevant from a practical point of view while at the same it offers many challenges for software developers and scientists. Specification of a BPMN diagram is relatively precise, but it is only a descriptive form presented at some abstract, graphical level. Most of the work in this area is focused on the use of the possibilities offered by BPMN notation. However, there is still no document analyzing the errors and how to detect and eliminate. The article attempts to analyze issues anomalies that may occur in the BPMN notation. The survey is based on the analysis of literature and own experience of modeling in BPMN. Analyzes allowed us to identify a few of the most common types of anomalies: syntactic anomalies, and structural anomalies.W dziedzinie procesów biznesowych najbardziej popularne jest modelowanie Business Process Modeling Notation (BPMN). BPMN jest istotny z praktycznego punktu widzenia, a przy tym oferuje wiele wyzwań dla programistów i naukowców. Specyfikacja diagramu BPMN jest stosunkowo precyzyjna, ale jest to tylko forma opisowa prezentowana na abstrakcyjnym poziomie graficznym. Większość prac w tym obszarze skoncentrowanych jest na wykorzystaniu możliwości, jakie oferuje notacja BPMN. Jednak wciąż nie ma dokumentów analizujących ewentualne błędy oraz sposoby ich wykrywania i eliminowania. Celem artykułu jest próba analizy zagadnienia anomalii, które mogą wystąpić w notacji BPMN. Badanie opiera się na analizie literatury oraz własnym doświadczeniu z modelowania w języku BPMN. Przeprowadzone analizy pozwoliły na zidentyfikowanie kilku najczęściej występujących rodzajów anomalii: strukturalnych i składniowych

AND-OR graph with knowledge propagation rules as a model for Constraint Satisfaction Problems

Tyt. z nagłówka.Bibliogr. s. 419.Dostępny również w formie drukowanej.STRESZCZENIE: W pracy przedstawiono koncepcję zastosowania grafu AND--OR do rozwiązywania problemów z ograniczeniami. Dla efektywnej eliminacji niepoprawnych rozwiązań zastosowano system regułowy. Jest on wykorzystywany do propagacji wiedzy. W przypadku wykrycia niespójności, potencjalne rozwiązanie jest eliminowane. Rozważania przeprowadzono na przykładzie zastosowania proponowanego podejścia do eliminacji niepoprawnych rozwiązań problemu diagnostycznego. SŁOWA KLUCZOWE: problemy z ograniczeniami, grafy AND-OR, systemy regułowe, diagnostyka. ABSTRACT: In this paper a model for Constraint Satisfaction Problems based on the concept of AND-OR graph is presented. The graph provides a structure to model search-space for alternative solutions. In order to represent auxiliary constraints it is completed with a set of rules for knowledge propagation. The rules can be used for efficient modelling of constraints for knowledge propagation and for detection of inconsistency. An example from the area of automated diagnosis is used to illustrate the application. KEYWORDS: constraint satisfaction problems, AND-OR graphs, rules

Uzyskanie zadanych pól powierzchni wieloboków uogólnionych poprzez modyfikację uwarunkowaną współrzędnych wierzchołków w systemach GIS

The article presents the procedure of obtaining the areas of generalized polygons by conditioned modification of vertices coordinates. In the practical use, the procedure was presented for the cadastral parcels layer, managed by the Polish Land and Building Register.W niniejszym opracowaniu przedstawiono procedurę, która umożliwia uzyskanie – w warstwie GIS, którą tworzą wieloboki uogólnione – zadanych pól powierzchni, przez modyfikację, spełniającą określone warunki funkcyjne, współrzędnych wierzchołków wieloboków. Przykładowe wykorzystanie wprowadzonej procedury przedstawiono dla warstwy działek ewidencyjnych z Systemu Ewidencji Gruntów i Budynków