Capturing Compliance Requirements: A Pattern-Based Approach
暂无分享,去创建一个
Mike P. Papazoglou | Willem-Jan van den Heuvel | Amal Elgammal | Oktay Türetken | M. Papazoglou | Amal Elgammal | O. Türetken | W. Heuvel
[1] Wil M. P. van der Aalst,et al. Handbook of Research on Business Process Modeling , 2009 .
[2] Jian Yu,et al. Pattern Based Property Specification and Verification for Service Composition , 2006, WISE.
[3] Volker Gruhn,et al. Specification patterns for time-related properties , 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).
[4] Ying Liu,et al. A static compliance-checking framework for business process models , 2007, IBM Syst. J..
[5] Elke Pulvermüller,et al. Formalizing business process specifications , 2011, Comput. Sci. Inf. Syst..
[6] Peter Dadam,et al. Monitoring Business Process Compliance Using Compliance Rule Graphs , 2011, OTM Conferences.
[7] Nenad Stojanovic,et al. Pattern-Based Design and Validation of Business Process Compliance , 2007, OTM Conferences.
[8] Mike P. Papazoglou,et al. Enforcing compliance on business processes through the use of patterns , 2011, ECIS.
[9] Andreas Schaad,et al. Modeling of Task-Based Authorization Constraints in BPMN , 2007, BPM.
[10] Guido Governatori,et al. The Journey to Business Process Compliance , 2009, Handbook of Research on Business Process Modeling.
[11] Boudewijn F. van Dongen,et al. Process Mining and Verification of Properties: An Approach Based on Temporal Logic , 2005, OTM Conferences.
[12] George S. Avrunin,et al. Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[13] Mathias Weske,et al. Visually specifying compliance rules and explaining their violations for business processes , 2011, J. Vis. Lang. Comput..