We introduce the provisional trust negotiation framework PROTUNE, for combining distributed trust management policies with provisional-style business rules and accesscontrol related actions. The framework features a powerful declarative metalanguage for driving some critical negotiation decisions, and integrity constraints for monitoring negotiations and credential disclosure.

A General Rule Markup Language has several purposes. It may serve as a lingua franca to exchange rules between different...

This paper discusses the approach taken by the Rule Markup Language (RuleML) Initiative towards a general Web rule language framework and relates it to the MDA and UML by the Object Management Group (OMG). It also presents the abstract syntax of RuleML 0.85 as a MOF/UML model and considers the possibility to integrate RuleML with OCL and Action Semantics. 1.

Summary. The Semantic Web aims at enabling sophisticated and autonomic machine to machine interactions without human intervention, by providing machines not only with data but also with its meaning (semantics). In this setting, traditional security mechanisms are not suitable anymore. For example, identity-based access control assumes that parties are known in advance. Then, a machine first determines the identity of the requester in order to either grant or deny access, depending on its associated information (e.g., by looking up its set of permissions). In the Semantic Web, any two strangers can interact with each other automatically and therefore this assumption does not hold. Hence, a semantically enriched process is required in order to regulate an automatic access to sensitive information. Policy-based access control provides sophisticated means in order to support protecting sensitive resources and information disclosure. However, the term policy is often overloaded. A general definition might be “a statement that defines the behaviour of a system”. However, such a general definition encompasses different notions, including security policies, trust management

Business rules change quite often. These changes cannot be handled efficiently by representing business rules embedded in the source code of the business logic. Efficient handling of rules that govern ones business is one factor for success. That is where business rules engines play an important role. The service-oriented computing paradigm is becoming more and more popular. Services offered by different providers, are composed to new services by using Web service composition languages such as BPEL. Such process-based composition languages lack the ability to use business rules managed by different business rules engines in the composition process. In this paper, we propose an approach on how to use and integrate business rules in a service-oriented way into BPEL. Keywords: Business Rules, BPEL, Service-oriented Approach 1.

Abstract — A process model is called rule-based if the semantics of its case data and activity flows are expressed by means of rules. Rules have been recognized before as powerful representation forms that can potentially define the semantics of data and process resources. To date, however, there is no consensus on how to link the enforcement of rules, the manipulation of data and the execution of processes. Moreover, it is witnessed that complex data and process resource descriptions in the form of a number of constraints, deduction and reaction rules lack expressivity and comprehensibility. In this paper, we set out for using process and rule set metamodels to concisely represent the semantics of case data and activity flows in business process models. In addition we show how to generate a syntactically verified and semantically validated corpus of definite Horn clauses that can be used in the execution of the modeled process. I.

Current enterprise systems rely heavily on the modelling and enactment of business processes. One of the key criteria for a business process is to represent not just the behaviours of the participants but also how the contractual relationships among them evolve over the course of an interaction. In this paper we provide a framework in which one can define policies/ business rules using deontic assignments to represent the contractual relationships. To achieve this end we use a combination of deontic /normative concepts like proclamation, directed obligation and direct action to account for a deontic theory of commitment which in turn can be used to model business processes in their organisational settings. In this way for the purpose of doing business. Further, we show how to extend the i* framework, a well known organisational modelling technique, so as to accommodate our notion of deontic dependency.

We present a UML profile for an agent-oriented modeling approach called Agent-Object-Relationship (AOR) modeling, where an entity is either an agent, an event, an action, a claim, a commitment, or an ordinary object, and where special relationships between agents and events, actions, claims and commitments supplement the fundamental association, aggregation/composition and generalization relationships of UML class models.

Business rules define or constrain some business [24]. Many different business rules engines exist to capture and manage the rules that comprise ones business. The lack of standards in the business rule area leads to different engine implementations and various rule representation formats. Furthermore, accessing rule-based knowledge in a uniform way from different heterogeneous applications in an enterprise computing environment poses many integration challenges. In this paper, we propose the design and implementation of a service-oriented approach on how to integrate different heterogeneous business rule engines by using our Business Rules Broker architecture. Furthermore, we present a method to automatically expose the rule-based business knowledge as Web services by generating the Web service code at design-time.

Abstract. One of a business system’s important roles is to provide a representation of a Universe of Discourse, which reflects its structure and behaviour. An equally important function of the system is to support communication within an organisation by structuring and co-ordinating the actions performed by the organisations agents. These two roles of a business system may be represented in terms of business and process models, i.e. the separation of the declarative economic aspects from the procedural control flow aspects of the system. Although this separation of concerns has many advantages, the differences in representation techniques and focus of the two model types constitutes a problem in itself. The main contribution of this paper is a unified framework to facilitate the analysis and integration of business models and process models in e-Commerce in a systematic way. The approach suggested bridges the gap between the declarative and social/economic aspects of a business model and the procedural and communicative aspects of a process model. We illustrate how our approach can be used to facilitate integration, process specification, process pattern interpretation and choreography. 1