An experience on formal analysis of a high-level graphical SOA design (Contributo in atti di convegno)

Type
Label
  • An experience on formal analysis of a high-level graphical SOA design (Contributo in atti di convegno) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ter Beek M. H.; Mazzanti F.; Sulova A. (2010)
    An experience on formal analysis of a high-level graphical SOA design
    in Second International Workshop on Formal Methods and Agile Methods, Pisa, Italy
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M. H.; Mazzanti F.; Sulova A. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods (Pisa, Italy, 17 Settembre 2010). Proceedings, pp. 79 - 98. S. Gruner, B. Rumpe (eds.). (Lecture Notes in Informatics (LNI), vol. 179). Gesellschaft für Informatik, Bonn, 2010. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriented system design, to be model checked with respect to the intended requirements and automatically translated into executable BPEL code. This experience, beyond revealing several uncertainties in the language definition, and several flaws in the designed model, has been useful to better understand the hidden risks of apparently intuitive graphical designs, when these are not backed up by a precise and rigorous semantics. The adoption of a rigorous or formal semantics for these notations, and the adoption of formal verification methods allow the full exploration of designs which otherwise risk to become simple to draw and update, but difficult to really understand in all their hidden ramifications. Automatic formal model generation from high level graphical designs is not only desirable but also pragmati (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa (literal)
Titolo
  • An experience on formal analysis of a high-level graphical SOA design (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it