An accessible verification environment for UML models of services

Autor: Rosario Pugliese, Francesco Tiezzi, Federico Banti

Publikováno v: Journal of Symbolic Computation. 46:119-149

Service-Oriented Architectures (SOAs) provide methods and technologies for modelling, programming and deploying software applications that can run over globally available network infrastructures. Current software engineering technologies for SOAs, ho

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e244485f39ba1ebbaa1f32e8ec89d11
https://doi.org/10.1016/j.jsc.2010.08.005

SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity

Autor: Alessandro Fantechi, Franco Mazzanti, Lucia Acciai, Andreas Schroeder, Stefania Gnesi, Alessandro Lapadula, László Gönczy, Federico Banti, Philip Mayer, Rosario Pugliese, Dániel Varró, Francesco Tiezzi, Mirco Tribastone, Martin Wirsing, Matthias Hölzl, Stephen Gilmore, Allan Clark, Nora Koch

Publikováno v: Leveraging Applications of Formal Methods, Verification and Validation. Third International Symposium, pp. 170–190, Porto Sani, Greece, Oct 13-15, 2008
Communications in Computer and Information Science ISBN: 9783540884781
info:cnr-pdr/source/autori:Wirsing M.; Hölzl M.; Acciai L.; Banti F.; Clark A.; Fantechi A.; Gilmore S.; Gnesi S.; Gonczy L.; Koch N.; Lapadula A.; Mayer P.; Mazzanti F.; Pugliese R.; Schroeder A.; Tiezzi F.; Tribastone M.; Varró D./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation. Third International Symposium/congresso_luogo:Porto Sani, Greece/congresso_data:Oct 13-15, 2008/anno:2008/pagina_da:170/pagina_a:190/intervallo_pagine:170–190

The IST-FET Integrated Project SENSORIA is developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated into pragmatic software engineering

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e234df0eb7408c6347c96fa8cab61dd
https://openportal.isti.cnr.it/doc?id=people______::bb0905043c2f54c0ecba3569c1ffd5af

The Refined Extension Principle for Semantics of Dynamic Logic Programming

Autor: José Júlio Alferes, Antonio Brogi, Federico Banti, João Leite

Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approac

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b84103fa5ddc04baabf46a1716719d57
http://hdl.handle.net/11568/96455

Operational Semantics for DyLPs

Autor: Antonio Brogi, José Júlio Alferes, Federico Banti

Publikováno v: Progress in Artificial Intelligence ISBN: 9783540307372
EPIA

Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly dynamic domains with logic programming techniques. Two of the most rec

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::e64ef743f71cd16f8afa750a7b65f897
https://doi.org/10.1007/11595014_5

Well founded semantics for logic program updates

Autor: Antonio Brogi, Federico Banti, José Júlio Alferes

Publikováno v: Scopus-Elsevier
Advances in Artificial Intelligence – IBERAMIA 2004 ISBN: 9783540238065
IBERAMIA

Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models semantics of normal, extended (with explicit negation) or generalized (wit

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3177b100ebfb3cc146ea6f4f597c73a3
http://www.scopus.com/inward/record.url?eid=2-s2.0-22944464717&partnerID=MN8TOARS