Formal Specification of Web Services Composition Using LOTOS
2016 3 citations18 references
Looking for the full paper…
Papers open inside SciRah from the original publisher or repository; SciRah never hosts them.
Abstract
No abstract is available from our sources. Use “Read paper” to view it.
TL;DRThis paper proposes an approach of translating the BPMN specification of services composition to a formal specification LOTOS which allows, using verification tool like CADP, to apply the behavioral properties and validate the system of Web services composition. (Semantic Scholar)