Abstract This paper presents a promising solution to the issue of determining category technical condition hydraulic structures in operation, namely, collaboration IT solutions and set current building codes rules developed expert system. Most reclamation operating Volgograd region have exceeded their operational life 25 years laid down design. Therefore, it is necessary control maintain such w...

Semantics represents a major problem area for active databases inasmuch as (i) there is no formal framework for defining the abstract semantics of active rules, and (ii) the various systems developed so far have ad-hoc operational semantics that are widely different from each other. This situation contributes to the difficulty of predicting the run-time behavior of sets of rules: thus, ensuring...

Quality-of-Service (QoS) routing is indispensable to real-time applications on integrated services packet-switching networks. However, existing QoS-routing schemes based on either request ooding or link-state dissemination are not e cient in terms of their message overhead and/or operational cost. This paper proposes a QoS-routing algorithm with bounded ooding which not only dramatically reduce...

We present a hierarchically structured transaction-oriented concept for a rule-based active database system. In LL94, LHL95], we have proposed Statelog as a uniied framework for active and deductive rules. Following the need for better structuring capabilities , we introduce procedures as a means to group semantically related rules and to encapsulate their behavior. In addition to executing ele...

1 I n t r o d u c t i o n a n d M o t i v a t i o n The core concept which makes a database system active is the concept of an active rule. The origin of the active rules is the production rule paradigm from the field of Artificial Intelligence with languages like OPS5 [8], used in expert systems. Typically, a production rule is of the form condition--+ action, where an inference engine cycles ...

The business artifact (a.k.a. business entity) approach to modeling and implementing business operations and processes is based on a holistic marriage of data and process and enables a factoring of business operations based on key business-relevant conceptual entities. The recently introduced Guard-StageMilestone (GSM) artifact meta-model provides a hierarchical and declarative basis for specif...

Business artifacts (BAs, or artifacts) are used to model conceptual entities that are central to guiding the operations of a business, and whose content changes as they move through those operations. The recently introduced Guard-Stage-Milestone (GSM) meta-model for artifact lifecycles is declarative in nature, and allows concurrent execution of long-running (possibly human-executed) activities...

Performance engineering aims to demonstrate that the software being developed will meet the performance needs. The goal of robustness engineering is to prove that the system can function correctly in the presence of faults or stress conditions. From this point of view robustness engineering comprises performance engineering as a specific case of normal operational conditions. This shall allow t...

Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not themselves been mechanically proven, so any proof using and depending on these VCGs might have contained errors. In our work, we define and rigorously prove correct a VCG tool within the HOL theorem proving system, for a s...

Business process management, workflow, and case management are critical technologies for managing collections of services, including human activities, to support business operations. One way to manage business operations is based on business entities with lifecycles (BEL’s) (a.k.a. business artifacts), i.e., key conceptual entities that are central to guiding the operations of a business, and w...