Dr. Ahmed Awad

ahmedAwad.jpg 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

Phone:+49(0)331-5509-196
Fax:+49(0)331-5509-189
Room:C-2.2
eMail:Ahmed.Awad (at) hpi.uni-potsdam.de

Research Interests

  • 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

BPMN-Q

  • BPMN-Q Ver. 1.0.3 can be downloaded from here.
  • You can try an online version of BPMN-Q from here