A Ontology-based Approach for Business Process Compliance Checking

International audienceThe early detection of flaws and errors has become a significant feature of a business process modeling tool. This paper proposes an ontology-based approach for business process compliance checking. The business processes and the business rules are represented in a machine understandable form, a reasoner is used to reason on this knowledge base for detecting the potential semantic error by using a set of predefined rules

Contract specification for compliance checking of business interactions

PhD ThesisIn the business world, contracts are used to regulate business interactions between trading parties. When business transactions are conducted over an electronic channel, electronic forms of contracts are needed; and because of the additional capabilities of an electronic means, their function can be extended to include compliance checking for the interactions of the parties, and enforcement of contractual clauses when needed. A contract is assumed to be a document that stipulates a list of clauses stating rights, obligations and prohibitions, and their associated constraints, that business partners are expected to honour. Compliance checking is taken to mean checking if business operations executed by business partners match with their rights, obligations and prohibitions as stipulated in the contract. We intend enforcement as making sure that business operations match the rights, obligations, and prohibitions of the parties, possibly compensating for deviations from expected behaviour. In traditional business interactions, compliance checking and enforcement are carried out man- ually. With electronic business interactions, such tasks can ideally be automated. This requires a model for the process of checking contract compliance, and an electronic language for the speci ca- tion of the actual contract. The rst main contribution of this thesis is such a model. The EROP model (from Events, Rights, Obligations and Prohibitions), composed of an ontology and an architecture, observes the interactions between the business partners, forms an interpretation of their outcome from a neutral perspective and checks their contractual compliance by matching executed operations with their sets of rights, obligations, and prohibitions, and reacting accordingly to them. Implementations of the EROP ontology and of an experimental prototype of the architecture are also presented. The second main contribution of this thesis is the EROP language, designed to specify contractual compliance, and to regulate execution of business operations through the manipulation of the sets of rights, obligations and prohibitions of the business partners. The EROP language is rule-based and event-driven, and, in a similar fashion to contracts in natural language, contractual clauses are expressed as business rules, conditional statements associating events and conditions to lists of actions altering the rights, obligations and prohibitions of the participants. The practicality of the approach taken with the EROP language is evaluated presenting a larger, complete scenario and a number of smaller ones taken from comparable work. Notes on the translation of the EROP language to one on a lower level of abstraction that relies on the implementation of the EROP ontology are also presented. The Appendix presents a formal grammar for the language.UK EPSRC e-Science Pilot Project: "GOLD (Grid-based Information Models to Support the Rapid Innovation of High Value Added Chemicals)

Towards a Semantic-based Approach for Modeling Regulatory Documents in Building Industry

Regulations in the Building Industry are becoming increasingly complex and involve more than one technical area. They cover products, components and project implementation. They also play an important role to ensure the quality of a building, and to minimize its environmental impact. In this paper, we are particularly interested in the modeling of the regulatory constraints derived from the Technical Guides issued by CSTB and used to validate Technical Assessments. We first describe our approach for modeling regulatory constraints in the SBVR language, and formalizing them in the SPARQL language. Second, we describe how we model the processes of compliance checking described in the CSTB Technical Guides. Third, we show how we implement these processes to assist industrials in drafting Technical Documents in order to acquire a Technical Assessment; a compliance report is automatically generated to explain the compliance or noncompliance of this Technical Documents

Querying a regulatory model for compliant building design audit

The ingredients for an effective automated audit of a building design include a BIM model containing the design information, an electronic regulatory knowledge model, and a practical method of processing these computerised representations. There have been numerous approaches to computer-aided compliance audit in the AEC/FM domain over the last four decades, but none has yet evolved into a practical solution. One reason is that they have all been isolated attempts that lack any form of standardisation. The current research project therefore focuses on using an open standard regulatory knowledge and BIM representations in conjunction with open standard executable compliant design workflows to automate the compliance audit process. This paper provides an overview of different approaches to access information from a regulatory model representation. The paper then describes the use of a purpose-built high-level domain specific query language to extract regulatory information as part of the effort to automate manual design procedures for compliance audit

Towards the Integration of Value and Coordination Models - Position Paper -

Cross-organizational collaborations have a high complexity.\ud Modelling these collaborations can be done from di®erent perspectives.\ud For example, the value perspective represents expected value exchanges\ud in a collaboration while the coordination perspective represents the order\ud in which these exchanges occur. How to maintain consistency between\ud di®erent models during design time as well as runtime constitutes a chal-\ud lenging topic. De¯ning criteria and de¯nitions re°ecting the relation be-\ud tween these models during the entire life cycle is not straightforward.\ud Di®erent criteria are used for di®erent models since each model captures\ud a speci¯c aspect of the collaboration. In this paper we investigate the\ud challenges arising when addressing the problem of maintaining adequate\ud and consistent models of a collaboration during the entire life cycle of\ud a collaboration. We propose a framework in which we connect business\ud layer, process layer and implementation layer, presenting the direction\ud for solving this multifaceted problem. We will describe several challenges\ud we anticipate to encounter while implementing our framework

Knowledge-based support in Non-Destructive Testing for health monitoring of aircraft structures

Maintenance manuals include general methods and procedures for industrial maintenance and they contain information about principles of maintenance methods. Particularly, Non-Destructive Testing (NDT) methods are important for the detection of aeronautical defects and they can be used for various kinds of material and in different environments. Conventional non-destructive evaluation inspections are done at periodic maintenance checks. Usually, the list of tools used in a maintenance program is simply located in the introduction of manuals, without any precision as regards to their characteristics, except for a short description of the manufacturer and tasks in which they are employed. Improving the identification concepts of the maintenance tools is needed to manage the set of equipments and establish a system of equivalence: it is necessary to have a consistent maintenance conceptualization, flexible enough to fit all current equipment, but also all those likely to be added/used in the future. Our contribution is related to the formal specification of the system of functional equivalences that can facilitate the maintenance activities with means to determine whether a tool can be substituted for another by observing their key parameters in the identified characteristics. Reasoning mechanisms of conceptual graphs constitute the baseline elements to measure the fit or unfit between an equipment model and a maintenance activity model. Graph operations are used for processing answers to a query and this graph-based approach to the search method is in-line with the logical view of information retrieval. The methodology described supports knowledge formalization and capitalization of experienced NDT practitioners. As a result, it enables the selection of a NDT technique and outlines its capabilities with acceptable alternatives

A formal verification framework and associated tools for enterprise modeling : application to UEML

The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and formal proof of properties