1. Business Process Modeling Notation 1.2 (BPMN 1.2) Specification, Final Adopted Specification. Technical report, OMG, 2009.
2. BPMN-Q: a language to query business processes;Awad,2007
3. Efficient compliance checking using BPMN-Q and temporal logic;Awad,2008
4. Semantic querying of business process models;Awad,2008
5. Querying graph-based repositories of business process models;Awad,2010