Selected Publications

Articles In Academic Journals

Year Title
2014 A New approach for Compliance Checking in Service WorkflowsIEEE Transactions on Industrial Informatics. 1452-1460.
2014 A Novel architecture for Requirement-oriented Participation Decision in Service WorkflowsIEEE Transactions on Industrial Informatics. 1478-1485.
2012 SWSpec: The Requirements Specification Language in Service Workflow EnvironmentsIEEE Transactions on Industrial Informatics. 631-638.
2012 Using Propositional Logic for Requirements Verification of Service WorkflowIEEE Transactions on Industrial Informatics. 639-646.