Deontic BPMN

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6861 LNCS, Issue PART 2, 2011, Pages 264-278

  Natschläger, Christine ^a  

^a SOFTWARE COMPETENCE CENTER HAGENBERG   (Austria)

Author keywords

BPMN; Deontic Logic; Graph Transformation; Modality

Indexed keywords

ALGEBRAIC GRAPH TRANSFORMATIONS; BPMN; BUSINESS PROCESS MODEL; DEONTIC; DEONTIC LOGIC; GRAPH TRANSFORMATION; MODALITY; OBJECT MANAGEMENT GROUPS; PATH EXPLORATION; PROCESS FLOWS; PROCESS MODELING; STRUCTURAL COMPLEXITY; UNDERSTANDABILITY; WHOLE PROCESS;

EXPERT SYSTEMS;

GRAPH THEORY;

EID: 80052810946     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23091-2_23     Document Type: Conference Paper

References (19)

1. Business Process Model and Notation (BPMN) 2.0, http://www.omg.org/spec/ BPMN/2.0
2. Åqvist, L.: Deontic Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8, pp. 147-264. Kluwer Academic, Dordrecht (2002)
3. Lewis, D.: Semantic Analyses For Dyadic Deontic Logic. In: Stenlund, S. (ed.) Logical Theory and Semantic Analysis. D. Reidel Publishing Company (1974)
4. Horty, J.: Agency and Deontic Logic. Oxford University Press, New York (2001)
5. Wieringa, R. J., Meyer, J.-J. C.: Applications of Deontic Logic in Computer Science: A Concise Overview. In: Deontic Logic in Computer Science: Normative System Specification. Wiley, Chichester (1993)
6. Broersen, J., Van der Torre, L.: Ten problems of deontic logic and normative reasoning in computer science. Tutorial for ESSLLI (2010)
7. Semantics of Business Vocabulary and Business Rules (SBVR) 1.0, http://www.omg.org/spec/SBVR/1.0
8. Goedertier, S., Vanthienen, J.: Declarative Process Modeling with Business Vocabulary and Business Rules. In: Proc. of Object-Role Modeling, ORM (2007)
9. nd Work. on Business Processes Design (BPD) (2006)
10. Padmanabhan, V., Governatori, G., Sadiq, S., Colomb, R., Rotolo, A.: Process Modelling: The Deontic Way. In: Asia-Pacific Conf. on Conceptual Modeling (2006)
11. Governatori, G., Milosevic, Z.: A Formal Analysis of a Business Contract Language. Int. Journal of Cooperative Information Systems (2006)
12. Sadiq, S., Governatori, G., Namiri, K.: Modeling Control Objectives for Business Process Compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714. Springer, Heidelberg (2007)
13. Ghose, A. K., Koliadis, G.: Auditing Business Process Compliance. In: Krämer, B. J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169-180. Springer, Heidelberg (2007)
14. Weigand, H., Verharen, E., Dignum, F. P. M.: Interoperable transactions in business models: A structured approach. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol. 1080, Springer, Heidelberg (1996)
15. th Int. Work. on Variability Modelling of Softwareintensive Systems (2010)
16. Ehrig, H., Pfender, M., Schneider, H. J.: Graph Grammars: an Algebraic Approach. In: Proceedings of FOCS 1973. IEEE, Los Alamitos (1973)
17. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)
18. Gemino, A., Wand, Y.: Complexity and clarity in conceptual modeling: Comparison of mandatory and optional properties. Data & Knowledge Engineering 55 (2005)
19. Melcher, J., Mendling, J., Reijers, H. A., Seese, D.: On Measuring the Understandability of Process Models. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. Lecture Notes in Business Information Processing, vol. 43, pp. 465-476. Springer, Heidelberg (2010)