BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260920T141619Z
UID:Seminar-dept-277@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20120214T150000
DTEND:20120214T160000
SUMMARY:School Seminar Series
DESCRIPTION:Dr. Francesco Belardinelli: Verification of Data-aware Systems: Abstraction Techniques and Decidability Results\n\nData-aware systems (DaS) are a novel paradigm in web-services. Differently from the standard process-based approach, in DaS data are given the same prominence as processes. The implementations of DaS involve the composition of several databases on which services operate. This emphasis on data leads to an infinite state-space for the model checking problem. A possibly infinite data domain also call for specification languages that support quantification, e.g., first-order multi-modal logics. This setting is known to generate an undecidable model checking problem, thereby reducing, at least theoretically, the\n\npossibility of DaS verification.\n\n\n\nIn this talk I will present abstraction techniques that can be deployed to make the model checking problem amenable, thus obtaining decidability results for some specific classes of DaS. These results enable the verification of basic temporal-epistemic properties of DaS when analysed under a number of conditions.\n\n\n\nThe research presented in this talk has received funding within the EU STREP Project ACSI.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=277
LOCATION:Ashton Lecture Theatre
END:VEVENT
END:VCALENDAR