339 Hits in 8.5 sec

Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties

Germán Regis, Fernando Villar, Nicolás Ricci
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

Leandro Nahabedian, Victor Braberman, D'Ippolito Nicolas, Jeff Kramer, Sebastian Uchitel
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

Leandro Nahabedian, Victor Braberman, D'Ippolito Nicolas, Jeff Kramer, Sebastian Uchitel
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]

Alessio Bottrighi, Federico Chesani, Paola Mello, Marco Montali, Stefania Montani, Paolo Terenziani
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

Howard Foster
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]

Mohsen Rouached, Walid Gaaloul, Wil M. P. van der Aalst, Sami Bhiri, Claude Godart
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

Jorg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
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

Marco Bakera, Christian Wagner, Tiziana Margaria, Emil Vassev, Mike Hinchey, Bernhard Steffen
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]

Patrick Lühne
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

Chee Sun Liew, Malcolm P. Atkinson, Michelle Galea, Tan Fong Ang, Paul Martin, Jano I. Van Hemert
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

Howard Foster, Philip Mayer
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

Christophe Damas, Bernard Lambeau, Francois Roucoux, Axel van Lamsweerde
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

Barbara Mirel, Felix Eichinger, Benjamin Keller, Matthias Kretzler
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]

Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
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

Howard Foster, George Spanoudakis, Khaled Mahbub
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