Service-oriented modeling using the SOFL formal engineering method.

Weikai Miao, Shaoying Liu

Browse the full APSCC paper archive.