Cloud manufacturing is an emerging service-oriented model to solve existing problems in
manufacturing. This study proposes a process calculus–based approach to formally model …

Abstract Development of communication technology on smartphones can be used to meet
the needs of actual mass communication (real time chat), concise, and efficient in …

Develo** applications for mobile platforms is a compound task, due to variability of mobile
OSs and the number of different devices that need to be supported. Model-Driven …

The emergence of BPML (Business Process Modeling Language) has favored the
development of languages for the composition of services. Process-oriented approaches …

The development of communication technology through smartphone has made real time
communication (chat) faster, easier, and cheaper for educational institutions, especially …

The most recent service composition approaches rely on the mechanism, which involves
scalable and decentralized execution of services. Although some formal tools have been …