A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf
.
Filters
Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
2014
Electronic Proceedings in Theoretical Computer Science
In this paper we present the design and implementation, as well as a use case, of a tool for workflow analysis. The tool provides an assistant for the specification of properties of a workflow model. ...
The specification language for property description is Fluent Linear Time Temporal Logic. Fluents provide an adequate flexibility for capturing properties of workflows. ...
Conclusion and Future Work We have described the Fluent Logic Workflow Analyser, a tool for the specification and verification of workflows and properties of these. ...
doi:10.4204/eptcs.139.4
fatcat:mpf5dzrffvg5pe3vjxdlqzyhhe
Dynamic Reconfiguration of Business Processes
2019
Zenodo
This is an accepted paper for the International Conference on Business Process Management (BPM 2019). ...
Acknowledgement This project has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 778233 ...
) ∈ ∆ We use a linear temporal logic of fluents to provide a uniform framework for specifying state-based temporal properties in event-based models [10] . ...
doi:10.5281/zenodo.3263302
fatcat:47sfxinu4fgk7jqc4j4pzhpmbm
Dynamic Reconfiguration of Business Processes
2019
Zenodo
This is an accepted paper for the International Conference on Business Process Management (BPM 2019). ...
) ∈ ∆ We use a linear temporal logic of fluents to provide a uniform framework for specifying state-based temporal properties in event-based models [10] . ...
FLTL [10] is a linear-time temporal logic for reasoning about fluents. ...
doi:10.5281/zenodo.3263303
fatcat:hob6ofyn6vdwvavcyax4evhl7e
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge
[chapter]
2012
Lecture Notes in Business Information Processing
on "a posteriori" conformance evaluation. ...
In this paper, we explore such interaction from the viewpoint of the conformance problem, intended as the adherence of an observed CG execution trace to both types of knowledge. ...
This work has been partially supported by the Health Sciences and Technologies -Interdepartmental Center for Industrial Research (HST-ICIR) -University of Bologna, by the DEIS Depict Project, and by the ...
doi:10.1007/978-3-642-28115-0_20
fatcat:l544uibjevai3osekhfockon5q
Tool Support for Safety Analysis of Service Composition and Deployment Models
2008
2008 IEEE International Conference on Web Services
The tool integrates as a plug-in for Eclipse, alongside the IBM Rational Software Architect tool suite and others. ...
A case study based upon a complex service grid solution, for analyzing chemical markup patterns, is used to demonstrate the accessible and practical nature of the solution. ...
The models are passed to a "BPEL-UML2" modeler, which analyses the models and defines appropriate properties to safety-check for the exhaustion of resources given the nature of the behaviour described ...
doi:10.1109/icws.2008.12
dblp:conf/icws/Foster08
fatcat:2bxcuo3lefgivffnqqcxksne5u
Web Service Mining and Verification of Properties: An Approach Based on Event Calculus
[chapter]
2006
Lecture Notes in Computer Science
The work described in this paper is a contribution to these issues for Web services based process applications. ...
Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models ...
We adapts a simple classical logic form of the EC, whose ontology consists of (i) a set of time-points isomorphic to the non-negative integers, (ii) a set of time-varying properties called fluents, and ...
doi:10.1007/11914853_25
fatcat:camgpxnalbdsbpflvcrsjp7ghm
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking
2020
PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE
We believe there's a case to be made for the latter, as one modeling alternative in planning among others. ...
But one can also leverage decades of work on modeling in the formal methods community, creating potential for deep synergy and integration with their techniques as a side effect. ...
Benton and Jeremy Frank for discussions. The idea to run a no-restrictions ICAPS model-and-solve competition is Jeremy's. ...
doi:10.1609/aaai.v34i09.7083
fatcat:zm2sisjb7rhohgtvxpyspv4eke
Extracting Component-Oriented Behaviour for Self-Healing Enabling
2010
2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems
We show here how to enable GEAR's gamebased verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager ...
The GEAR game-based Model Checker has been used successfully to investigate in depth properties of the ESA ExoMars Rover. ...
Acknowledgement This work was carried out partly within the SHADOWS Project funded by the EU under contract No. 035157. ...
doi:10.1109/ease.2010.23
fatcat:r4pvwpiqcje7rmoh4atmqmlfju
Discovering and Proving Invariants in Answer Set Programming and Planning
[article]
2019
arXiv
pre-print
For this joint work with Lifschitz's group at the University of Texas, I developed a verification system called anthem. ...
As a second research direction, I am concerned with automating the verification of ASP programs against formal specifications. ...
Both of these objectives relate to invariants of logic programs-properties that preserve the correctness of a program. ...
arXiv:1905.03196v1
fatcat:3tc5jy4oxjdyxm2hyrlkbxbnje
Scientific Workflows
2016
ACM Computing Surveys
This article looks at the overall challenge posed by a new order of scientific experiments and the systems they need to be run on, and examines how this challenge can be addressed by workflows and workflow ...
Execution poses a challenge however due to a) the complexity and diversity of applications, b) the diversity of analysis goals, c) the heterogeneity of computing platforms, and d) the volume and distribution ...
Our work is supported by the Ministry of Education Malaysia (UMRG RP001F-13ICT and CG009-2013), the e-Science Core Programme Senior Research Fellow programme (UK EPSRC EP/D079829/1), and the EU projects ...
doi:10.1145/3012429
fatcat:23z6g32jfvgeto5zrigk4ysmx4
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions
2008
2008 Third International Conference on Internet and Web Applications and Services
Examples are defining service composition behaviour, in the form of the Business Process Execution Language for Web Services (WS-BPEL) and a global service choreography policy, in the form of the Web Service ...
In this paper we present a short history of some of the analysis tools reported, discuss an appropriate criteria of accessible integrated development with analysis features and provide an example approach ...
LTSA supports default safety (deadlock) and progress (property) analysis, but can also support Linear Temporal Logic (LTL) and Fluent property analysis. ...
doi:10.1109/iciw.2008.103
dblp:conf/iciw/FosterM08
fatcat:z7tshtkk45ejlcixuj4d5hrzra
Analyzing critical process models through behavior model synthesis
2009
2009 IEEE 31st International Conference on Software Engineering
The paper describes a blend of state-based and event-based techniques for analyzing task models involving decisions. ...
The techniques supported by our tool include model checking against process-specific properties, invariant generation, and the detection of incompleteness, unreachability, and undesirable nondeterminism ...
Warmest thanks are due to Yves Humblet, Pierre Scaillet, and the medical staff at the Chemotherapy and Radiotherapy units of Saint-Luc hospital for their time and experience sharing. ...
doi:10.1109/icse.2009.5070543
dblp:conf/icse/DamasLRL09
fatcat:uwln5bgjmrcstijagsx2bpxdjq
A cognitive task analysis of a visual analytic workflow: Exploring molecular interaction networks in systems biology
2011
Journal of Biomedical Discovery and Collaboration
we confirmed this by making a trial prototype based on user requirements for a small portion of the workflow. ...
Tools need to accommodate the workflows that scientists actually perform for specific translational research questions. ...
Correspondingly, it was performed in part under the framework of the National Center for Integrative Bioinformatics (NCIBI) and the Applied Systems Biology Core of the O'Brien Kidney Research Center at ...
doi:10.5210/disco.v6i0.3410
pmid:21455901
pmcid:PMC3090070
fatcat:mn72wsk52fb7pmm57rgkbchfhi
Reactive Event Calculus for Monitoring Global Computing Applications
[chapter]
2012
Lecture Notes in Computer Science
In this work we present the fundamentals of a reactive and logic-based version of EC, named REC, for monitoring declarative properties, while maintaining a solid formal background. ...
In 1986 Kowalski and Sergot proposed a logic-based formalism named Event Calculus (EC), for specifying in a declarative manner how the happening of events affects some representation (the state) of the ...
Marco Montali has been partially supported by the EU Project FP7-ICT ACSI (257593). We wish also to thank Fabio Ciotoli for the experimental benchmarks, carried out as part of his MSc project. ...
doi:10.1007/978-3-642-29414-3_8
fatcat:tibhlvw75nb4fgfvfd24v4uyui
Formal Certification and Compliance for Run-Time Service Environments
2012
2012 IEEE Ninth International Conference on Services Computing
provisioning (such as the recent adoption of Cloud infrastructures), certification and compliance checking of services is becoming a key element for service engineering. ...
Existing certification techniques tend to support mainly design-time checking of service properties and tend not to support the run-time monitoring and progressive certification in the service execution ...
ACKNOWLEDGEMENTS Our work reported in this paper has been supported by the EU project ASSERT4SOA -Trustworthy ICT (ICT-2009.1.4). ...
doi:10.1109/scc.2012.23
dblp:conf/IEEEscc/FosterSM12
fatcat:v7tuavkux5hsxdvmbk6bloerd4
« Previous
Showing results 1 — 15 out of 339 results