Business Process Technology
Hasso Plattner Institute for IT-Systems Engineering
at the University of Potsdam
Prof.-Dr.-Helmert-Str. 2-3
D-14482 Potsdam, Germany
Compliance Management of Business Process Models: Modeling of Compliance Requirements, Formal verification
Business Process Modeling: Intelligent tools supporting process modelers
Visual formalisms for Patterns/Anti Patterns
MDA and Business Process Models: From conceptual models to monitoring
Reuse-based Business Process Modeling
Bridging the gap between BPM and SOA
Co-Supervision of Theses
Steffen Ryll, Querying the Data Perspective of Business Process Models. Master Thesis, 2009. pdf.
Publications
Dissertation
A Compliance Management Framework for Business Process Models pdf
Journal Articles
Ralf Laue and Ahmed Awad. Visual Suggestions for Improvements in Business Process Diagrams (accepted). Journal of Visual Languages and Computing. 2011.
Emilian Pascalau, Ahmed Awad, Sherif Sakr, and Mathias Weske. Partial process models to manage business process variants (accepted for publication). Int. J. of Business Process Integration and Management, 2011.
Ahmed Awad, Matthias Weidlich, and Mathias Weske: Visually Specifying Compliance Rules and Explaining their Violations for Business Processes. Journal of Visual Languages and Computing 22(1):30-55, 2011.
Ahmed Awad, Emilian Pascalau, and Mathias Weske: Towards Instant Monitoring of Business Process Compliance, EMISA Forum, 30(2):10-24, Koellen-Verlag, August 2010.
Conferences and Workshops Articles
Mohammed Abujarour and Ahmed Awad. Discovering Linkage Patterns among Web Services using Business Process Knowledge (Accepted). IEEE SCC 2011.
Ahmed Awad, Rajeev Gore ́, James Thomson, and Matthias Weidlich. An iterative approach for business process template synthesis from compliance rules (accepted for publication). In CAiSE?, 2011.
Cristina Cabanillas, Manuel Resinas, Antonio Ruiz-Cort ́es, and Ahmed Awad. Automatic Generation of a Data-Centered View of Business Processes (accepted for publication). In CAiSE?, 2011.
Emilian Pascalau, Ahmed Awad, Sherif Sakr and Mathias Weske (2010). On Maintaining Consistency of Process Model Variants. In the 1st International Workshop on Reuse in Business Process Management (rBPM’10) at BPM 2010, Hoboken, NJ, USA.
Sherif Sakr and Ahmed Awad. A Framework for Querying Graph-Based Business Process Models. Proceedings of the 19th International World Wide Web Conference (WWW 2010), Raleigh, NC, USA.
Ahmed Awad and Sherif Sakr. Querying Graph-Based Repositories of Business Process Models. Proceedings of the 1st International Workshop on Graph Data Management (GDM'10), DASFAA Workshops, Tsukuba, Japan.
Ahmed Awad, Matthias Weidlich, and Mathias Weske. Consistency Checking of Compliance Rules. Proceedings of the 13th International Conference on Business Information Systems (BIS'10), volume 47 of Lecture Notes in Business Information Processing, pages 106-113. Berlin, Germany 3-5 May, 2010.
Ahmed Awad, Matthias Weidlich, and Mathias Weske: Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In proceedings of 7th International Conference on Service Oriented Computing (ICSOC-Service Wave'09), volume 5900 of Lecture Notes in Computer Science, pages 500-515. Springer, 2009. pdf
Ahmed Awad, Sergey Smirnov, and Mathias Weske. Resolution of compliance violation in business process models: A planning-based approach. In Robert Meersman, Tharam S. Dillon, and Pilar Herrero, editors, OTM Conferences (1), volume 5870 of Lecture Notes in Computer Science, pages 6-23. Springer, 2009. pdf
Ralf Laue and Ahmed Awad: Visualization of Business Process Modeling Anti Patterns. Proceedings of the 1st International Workshop on Visual Formalisms for Patterns VFfP?pdf
Ahmed Awad, Gero Decker and Niels Lohmann: Diagnosing and Repairing Data Anomalies in Process Models. Proceedings of the 5th International Workshop on Business Process Design BPD 09, volume 43 of Lecture Notes in Business Information Processing, pages 5-16. Springer, pdf
Ahmed Awad and Mathias Weske: Visualization of Compliance Violation in Business Process Models. Proceedings of the 5th International Workshop on Business Process Intelligence BPI 09, volume 43 of Lecture Notes in Business Information Processing, pages 182-193. Springer, pdf
Ahmed Awad, Sergey Smirnov, and Mathias Weske: Towards Resolving Compliance Violations in Business Process Models. In 2nd International Workshop on Governance Risk and Compliance in Information Systems GRCIS 09 pdf
Ahmed Awad, Artem Polyvyanyy, and Mathias Weske: Semantic Querying of Business Process Models. in 12th International Conference on Enterprise Distributed Object Computing EDOC 2008
Ahmed Awad, Gero Decker, and Mathias Weske: Efficient Compliance Checking using BPMN-Q and Temporal Logic. (Accepted) in 6th International Conference on Business Process Management BPM 2008
Ahmed Awad and Frank Puhlmann: Structural Detection of Deadlocks in Business Process Models. in 11th International Conference on Business Information Systems BIS 2008
Ahmed Awad: BPMN-Q: A Language to Query Business Processes. EMISA 2007: 115-128
Ahmed (Awad) Gaafar, Sherif Sakr: Towards a Framework for Mapping Between UML/OCL and XML/XQuery. UML 2004: 241-259
BPT Technical Reports
Awad, A., Weidlich, M., Weske, M.: Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. BPT Technical Resport 06-2009. pdf
Awad, A., Grosskopf, A., Meyer, A., Weske, M.: Enabling Resource Assignment Constraints in BPMN. BPT Technical Report 04-2009. pdf
Awad, A., Decker, G., Lohmann, N.: Diagnosing and Repairing Data Anomalies in Process Models. BPT Technical Report 03-2009. pdf
Awad, A., Weske, M.: Visualization of Compliance Violation Using Anti-patterns. BPT Technical Report 02-2009. pdf
