Selected Publications

Articles In Academic Journals

Year Title
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.