An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
From MaRDI portal
Publication:414857
DOI10.1016/j.jcss.2011.02.015zbMath1238.68157MaRDI QIDQ414857
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
90B50: Management decision making, including multiple objectives
68T30: Knowledge representation
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
- Nonmonotonic causal theories
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator
- Secure data management in decentralized systems
- Extending and implementing the stable model semantics
- Comparing action descriptions based on semantic preferences
- Reasoning web. Third international summer school 2007, Dresden, Germany, September 3--7, 2007. Tutorial lectures
- STRIPS: A new approach to the application of theorem proving to problem solving
- Representing Action Domains with Numeric-Valued Fluents
- Representing action and change by logic programs
- Reasoning about effects of concurrent actions
- Knowledge Representation, Reasoning and Declarative Problem Solving
- A logic programming approach to knowledge-state planning
- The DLV system for knowledge representation and reasoning
- Computer Aided Verification
- Information Security
- Delegation in Role-Based Access Control