Producing Compliant Interactions: Conformance, Coverage, and Interoperability

Chopra, Amit K.; Singh, Munindar P.

doi:10.1007/11961536_1

Cited by 24 publications

(18 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For an agent to produce only compliant executions, it has to be both conformant with some stated protocol, and interoperable with the agent it is interacting with. Conformance has been formalized in previous work [4]. In this paper, we have devised a formal interoperability test for agents.…”

Section: Discussionmentioning

confidence: 99%

Interoperation in Protocol Enactment

Chopra

Singh

2008

Declarative Agent Languages and Technologies V

Self Cite

View full text Add to dashboard Cite

Abstract. Interoperability has been broadly conceptualized as the ability of agents to work together. In open systems, the interoperability of agents is an important concern. A common way of achieving interoperability is by requiring agents to follow prescribed protocols in their interactions with others. In existing systems, agents must follow any protocol to the letter; in other words, they should exchange messages exactly as prescribed by the protocol. This is an overly restrictive constraint; it results in rigid, fragile implementations and curbs the autonomy of agents. For example, a customer agent may send a reminder to a merchant agent to deliver the promised goods. However, if reminders are not supported explicitly in the protocol they are enacting, then the reminder would be considered illegal and the transaction may potentially fail. This paper studies the interoperation of agents, dealing with their autonomy and heterogeneity in computational terms.

show abstract

Section: Discussionmentioning

confidence: 99%

Interoperation in Protocol Enactment

Chopra

Singh

2008

Declarative Agent Languages and Technologies V

Self Cite

View full text Add to dashboard Cite

show abstract

“…Clearly, p 0 is reachable iff there exists a reachable marking that has tokens on all of the literals ¬l. 10 We have:…”

Section: Petri Netsmentioning

confidence: 99%

On compliance checking for clausal constraints in annotated process models

Hoffmann¹,

Weber

Governatori

2009

Inf Syst Front

View full text Add to dashboard Cite

Compliance management is important in several industry sectors where there is a high incidence of regulatory control. It must be ensured that business practices, as reflected in business processes, comply with the rules. Such compliance checks are challenging due to (1) the different life cycles of rules and processes, and (2) their disparate representations.(1) requires retrospective checking of process models. To address (2), we herein devise a framework where processes are annotated to capture the semantics of task execution, and compliance is checked against a set of constraints posing restrictions on the desirable process states. Each constraint is a clause, i.e., a disjunction of literals. If a process can reach a state that falsifies all literals of one of the constraints, then that constraint is violated in that state, and indicates non-compliance.Naively, such compliance can be checked by enumerating all reachable states. Since long waiting times are undesirable, it is important to develop efficient (low-order polynomial time) algorithms that (a) perform exact compliance checking for restricted cases, or (b) perform approximate compliance checking for more general cases. Herein, we observe that methods of both kinds can be defined as a natural extension of our earlier work on semantic business process validation. We devise one method of type (a), and we devise two methods of type (b); both are based on similar restrictions to the processes, where the restrictions made by methods (b) are a subset of those made by method (a). The approximate methods each guarantee either of soundness (finding only non-compliances) or completeness (finding all non-compliances). We describe how one can trace the state evolution back to the process

show abstract

“…The technique is designed to take into account possible conflicts between the effects of tasks and to determine the degree of compliance of a BPMN specification. Chopra and Sing (2007), on the other hand, investigate compliance in the context of agents and multi-agent systems based on a classification of paths of tasks. Roman and Kifer (2007) proposed Concurrent Transaction Logic to model the states of a workflow and presented some algorithms to determine whether the workflow is compliant.…”

Section: Related Workmentioning

confidence: 99%

The Journey to Business Process Compliance

Governatori¹,

Sadiq

Handbook of Research on Business Process Modeling

View full text Add to dashboard Cite

It is a typical scenario that many organisations have their business processes specified independently of their business obligations (which includes contractual obligations to business partners, as well as obligations a business has to fulfil against regulations and industry standards). This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts but also because of the traditional mindset of treating contracts separately from business processes. This chapter will provide a solution to one specific problem that arises from this situation, namely the lack of mechanisms to check whether business processes are compliant with business contracts. The chapter begins by defining the space for business process compliance and the eco-system for ensuring that process are compliant. The key point is that compliance is a relationship between two sets of specifications: the specifications for executing a business process and the specifications regulating a business. The central part of the chapter focuses on a logic based formalism for describing both the semantics of normative specifications and the semantics of compliance checking procedures.

show abstract

Producing Compliant Interactions: Conformance, Coverage, and Interoperability

Cited by 24 publications

References 6 publications

Interoperation in Protocol Enactment

Interoperation in Protocol Enactment

On compliance checking for clausal constraints in annotated process models

The Journey to Business Process Compliance

Contact Info

Product

Resources

About