Process Specification and Modeling Language for Service-Oriented Software Development. - Tsai, Wei-Tek; Wei, Xiao; Cao, Zhibin; Paul, Raymond A.; Chen, Yinong; Xu, Jingjing (2007)