In recent years, the declarative programming philosophy has had a visible impact on new emerging disciplines, such as heterogeneous multi-agent systems and flexible business processes. We address the problem of formal verification for systems specified using declarative languages, focusing in particular on the Business Process Management field. We propose a verification method based on the g-SCIFF abductive logic programming proof procedure and evaluate our method empirically, by comparing its performance with that of other verification frameworks. © Springer-Verlag Berlin Heidelberg 2008.
CITATION STYLE
Montali, M., Torroni, P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., & Mello, P. (2009). Verification from declarative specifications using logic programming. In CEUR Workshop Proceedings (Vol. 451, pp. 440–454). CEUR-WS. https://doi.org/10.1007/978-3-540-89982-2_39
Mendeley helps you to discover research relevant for your work.