Publication

Alignment Verification in the Early Stage of Service Design

Alain Wegmann, Gorica Tapandjieva Sekulovska
2017
Conference Papers

Résumé

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.

Source officielle

https://infoscience.epfl.ch/entities/publication/c2344332-6b1a-4d82-82d7-a03e06448c18

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Alignment Verification in the Early Stage of Service Design

Chattez avec Graph Search

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Interactive design with optimum matchmaking of reused structural elements – a software implementation

Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization