Filters








12,455 Hits in 4.2 sec

Compliant Business Processes with Exclusive Choices from Agent Specification [chapter]

Francesco Olivieri, Matteo Cristani, Guido Governatori
2015 Lecture Notes in Computer Science  
processes with exclusive choice patterns.  ...  In this paper we analyse the problem of synthesising compliant business processes from rules-based declarative specifications for agents.  ...  Conclusion and related work In this paper we addressed the theoretical issue of how to synthesise compliant business process models incorporating exclusive choice patterns from declarative agent specifications  ... 
doi:10.1007/978-3-319-25524-8_43 fatcat:uqtlgntrlzbzlgoyyttbb7abnm

Compliance by Design for Artifact-Centric Business Processes [chapter]

Niels Lohmann
2011 Lecture Notes in Computer Science  
Alternatively, the rules can be already taken into account while modeling the business process to result in a business process that is compliant by design.  ...  We extend the artifact-centric approach to model compliance rules and show how compliant business processes can be synthesized automatically.  ...  To the best of knowledge, this paper presents the first approach that generates compliant and operational business process models from declarative specifications of artifact life cycles, policies, and  ... 
doi:10.1007/978-3-642-23059-2_11 fatcat:72ku3rstpzd73fm7uaz7lwyqti

Compliance by design for artifact-centric business processes

Niels Lohmann
2013 Information Systems  
Alternatively, the rules can be already taken into account while modeling the business process to result in a business process that is compliant by design.  ...  We extend the artifact-centric approach to model compliance rules and show how compliant business processes can be synthesized automatically.  ...  To the best of knowledge, this paper presents the first approach that generates compliant and operational business process models from declarative specifications of artifact life cycles, policies, and  ... 
doi:10.1016/j.is.2012.07.003 fatcat:4b2dwkra7vbs3c327vu33g6kgy

Visualisation of Compliant Declarative Business Processes

Nina Ghanbari Ghooshchi, Nick Van Beest, Guido Governatori, Francesco Olivieri, Abdul Sattar
2017 2017 IEEE 21st International Enterprise Distributed Object Computing Conference (EDOC)  
Organisations typically have to cope with large numbers of business rules and existing regulations governing the business in which they operate.  ...  As such, automated extraction of business processes from rules has a number of clear advantages: (1) visualisation of all possible executions allowed by the rules, (2) automated execution and compliance  ...  [9] , [10] proposed an agent-oriented rule language for the declarative specifications of norm and goal compliant business processes.  ... 
doi:10.1109/edoc.2017.21 dblp:conf/edoc/GhooshchiBGOS17 fatcat:2qygu6h66bbmtmgfmhnatszvzq

A Methodology for Plan Revision under Norm and Outcome Compliance [chapter]

Simone Scannapieco, Guido Governatori, Francesco Olivieri, Matteo Cristani
2013 Lecture Notes in Computer Science  
First, we show how such a logic is expressive enough to determine when the agent is compliant with respect to norms and objectives by extending it with a formal characterisation of the concepts of norm  ...  Scholars understand an agent as a system acting in an environment. Such an environment is usually governed by norms, and the agent has to obey to such norms when pursuing her objectives.  ...  set of objectives in the form of a business process (workflows), derived from the declarative specifications of the agent's knowledge base.  ... 
doi:10.1007/978-3-642-44927-7_22 fatcat:om4hrjjutngkpb2evvov7vu5pe

Designing for Compliance: Norms and Goals [chapter]

Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani
2011 Lecture Notes in Computer Science  
is compliant how to create an entirely new process starting from the theory, i.e., from the fully declarative description of the specifications for a process and the norms.  ...  From the definition of this new kind of logic, two main issues arises whether a theory is compliant or not: (a) how to revise a non compliant theory to obtain a new compliant one; (b) in case the theory  ...  process derivation (how to extract a business process from compliant declarative specifications for it).  ... 
doi:10.1007/978-3-642-24908-2_29 fatcat:5rzj7h4hhvcgrnk376f3k7vzqe

Compliant Business Process Design by Declarative Specifications [chapter]

Francesco Olivieri, Guido Governatori, Simone Scannapieco, Matteo Cristani
2013 Lecture Notes in Computer Science  
We propose algorithms to synthesise the specifications modelling the capabilities of an agent, the environment she acts in, and the governing norms, into a process graph.  ...  In this case, the resulting process will be compliant by design.  ...  To this end, we take inspiration from Business Process Modelling.  ... 
doi:10.1007/978-3-642-44927-7_15 fatcat:2gqt4m2v3vazpcda4wqzszmmfi

Designing Compliant Business Processes with Obligations and Permissions [chapter]

Stijn Goedertier, Jan Vanthienen
2006 Lecture Notes in Computer Science  
In particular, we introduce PENELOPE, a language to express temporal rules about the obligations and permissions in a business interaction, and an algorithm to generate compliant sequence-flow-based process  ...  The sequence and timing constraints on the activities in business processes are an important aspect of business process compliance.  ...  PENELOPE is different from existing languages mainly because it is designed with a purpose to generate compliant control-flow-based process models from a rule set of permissions and obligations.  ... 
doi:10.1007/11837862_2 fatcat:ctaxj5gnazac7nrwpdz42q7ti4

Rule-based business process modelling and enactment

Stijn Goedertier, Raf Haesen, Jan Vanthienen
2008 International Journal of Business Process Integration and Management  
Business rules are recognised as powerful representation forms that can potentially define the semantics of business process models and business vocabulary.  ...  A business process model is called rule-based if the logic of its control flow, data flow and resource allocation is declaratively expressed by means of business rules.  ...  This can, for instance, be expressed with an exclusion or inclusion constraint in the constraint specification framework of Sadiq et al. (2005) or with different types of negation constraints in the  ... 
doi:10.1504/ijbpim.2008.023219 fatcat:jz73s4rnvfexpitkevo57y2r34

Evaluation of a Multi-agent Based Workflow Management System Modeled Using Coloured Petri Nets [chapter]

Maryam Purvis, Bastin Tony Roy Savarimuthu, Martin Purvis
2005 Lecture Notes in Computer Science  
The coloured Petri net model supports the workflow patterns and the FIPA compliant agent framework supports the communication patterns.  ...  Workflow management systems (WfMS) should address the needs of rapidly changing business environments We have built a multi-agent based framework, JBees, which addresses these needs.  ...  Acknowledgements The authors wish to acknowledge the work of Lars Ehrler and Martin Fleurke in the implementation of the agent based workflow system.  ... 
doi:10.1007/978-3-540-32128-6_16 fatcat:o3oubtt35ffzldigpofvorplkq

Business Process Compliance Using Reference Models of Law [chapter]

Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
2020 Lecture Notes in Computer Science  
This paper proposes a model-driven approach to process compliance and combines a) reference models from laws, and b) business process models.  ...  Worse, hard-wired compliant processes are difficult to change when laws change, and this occurs very often.  ...  specification of a law L and a business process P , we say that the process is compliant if 1.  ... 
doi:10.1007/978-3-030-45234-6_19 fatcat:yphnyhiqwvesrimxtblphqxozq

Specifying Separation of Duty Constraints in BPEL4People Processes [chapter]

Jan Mendling, Karsten Ploesser, Mark Strembeck
2008 Lecture Notes in Business Information Processing  
Security issues have to be carefully considered for information systems that support the business processes of an organization, in particular, when these systems build on open interfaces such as web services  ...  In this paper, we examine the new BPEL extension BPEL4People from an access control perspective.  ...  with access control means: In [17] we presented an approach to extract RBAC models from BPEL4WS processes.  ... 
doi:10.1007/978-3-540-79396-0_24 fatcat:5djo4njfyjainmqjkhl5czw4na

Towards a framework for law-compliant software requirements

Alberto Siena, Anna Perini, Angelo Susi, John Mylopoulos
2009 2009 31st International Conference on Software Engineering - Companion Volume  
Second, the conceptual framework is outlined, which characterises the process by providing both legal concepts proposed in theoretical studies in the legal domain and concepts from goaloriented requirements  ...  First, a systematic process is outlined which, given a problem and a collection of legal prescriptions, generates a set of requirements that address the problem while complying with the prescriptions.  ...  S ∩ L = C | C ⊂ S (2) In this case, the possible, alternative strategic choices have potentially dangerous differences, because moving from one to another could lead the organisation from being compliant  ... 
doi:10.1109/icse-companion.2009.5070994 dblp:conf/icse/SienaPSM09 fatcat:hhulgd6pkjebnlofpgizmpsrai

Project Ubi-Learn: an Intermediation Infrastructure for Multi-channel Accesses to Future LMS

V. Chevrin, A. Derycke, J. Rouillard
2006 Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06)  
with a channel independent modelling language.  ...  Ubi-Learn intermediation is based on the assumption that the learning system is factorised into a collection of dedicated e-Services, and that the user interactions with the channels can be abstracted  ...  Only agents directly in charge of documents and interaction processing are represented.  ... 
doi:10.1109/aict-iciw.2006.152 dblp:conf/aict/ChevrinDR06 fatcat:tjr7tcodbbal3jxo6zqssqpqny

Engineering and verifying agent-oriented requirements augmented by business constraints with $${\mathcal{B}}$$ -Tropos

Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl
2010 Autonomous Agents and Multi-Agent Systems  
We propose B-Tropos as a modeling framework to support agent-oriented systems engineering, from high-level requirements elicitation down to execution-level tasks.  ...  In particular, we show how B-Tropos extends the Tropos methodology by means of declarative business constraints, inspired by the ConDec graphical language.  ...  Requirements engineering for business processes is emerging in the last years, spurred by the realization that the business process obtained from business requirements shall be consistent with the requirements  ... 
doi:10.1007/s10458-010-9135-4 fatcat:nqnsa6qtvva7hdaof2nea77icy
« Previous Showing results 1 — 15 out of 12,455 results