Alignment Verification in the Early Stage of Service Design
Verification is a costly task, sometimes burdensome and tedious, requiring strong formal background. To reduce the effort and cost invested in verification, we developed a model-driven approach for automatic verification of service properties, done in the early service design phase. Our approach is based on SEAM, a service modeling method, and it incorporates a verification system called Leon. With our approach service designers do not need substantial understanding of specific formal and verification languages, since the SEAM visual service model is both the input for and output of the alignment verification.
2017_SOCA_Infoscience.pdf
Preprint
openaccess
653.77 KB
Adobe PDF
6f9377e1345a8b211071fc9527d5f5f5
2017_IESS_Infoscience.pdf
openaccess
798.57 KB
Adobe PDF
da64bcde2aca6807844f1d903421603e