An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints

DOI10.1016/J.JCSS.2011.02.015zbMATH Open1238.68157OpenAlexW2050308324MaRDI QIDQ414857FDOQ414857

Authors: Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta 

Publication date: 11 May 2012

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2011.02.015

Recommendations

• Business process verification with constraint temporal answer set programming
• Business process specification and analysis
• A formal framework for business process modelling and design
• A rigorous methodology for specification and verification of business processes
• Verifying business process compliance by reasoning about actions

zbMATH Keywords

business processesaction languagesknowledge representation and reasoning

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Computer Aided Verification
• Nonmonotonic causal theories
• Extending and implementing the stable model semantics
• Knowledge Representation, Reasoning and Declarative Problem Solving
• The DLV system for knowledge representation and reasoning
• STRIPS: A new approach to the application of theorem proving to problem solving
• Title not available (Why is that?)
• Title not available (Why is that?)
• Representing action and change by logic programs
• Representing the Zoo World and the Traffic World in the language of the Causal Calculator
• Title not available (Why is that?)
• Comparing action descriptions based on semantic preferences
• Reasoning web. Third international summer school 2007, Dresden, Germany, September 3--7, 2007. Tutorial lectures
• Representing Action Domains with Numeric-Valued Fluents
• Title not available (Why is that?)
• Reasoning about effects of concurrent actions
• A logic programming approach to knowledge-state planning, semantics and complexity
• Information Security
• Delegation in role-based access control
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
• Secure data management in decentralized systems

Cited In (4)

• Functional completion
• Automation of service-based security-aware business processes in the cloud
• Specifying and verifying organizational security properties in first-order logic
• On the satisfiability of authorization requirements in business process

Uses Software

• SPIN
• NuSMV
• CCalc

This page was built for publication: An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q414857)