Atomicity: A Unifying Concept in Computer Science | |
Report: Break Out Session on Guaranteed Execution | |
计算机科学;物理学;物理学 | |
Calton Pu (moderator) ; Jim Johnson ; Rogerio de Lemos ; Andreas Reuter | |
Others : http://drops.dagstuhl.de/opus/volltexte/2006/641/pdf/06121.PuCalton1.ExtAbstract.641.pdf PID : 6319 |
|
学科分类:计算机科学(综合) | |
来源: CEUR | |
【 摘 要 】
The break out session discussed guaranteed properties during program execution.Usinga workflow example application, we discussed several research topics that form part ofthe guaranteed properties, including declarative specifications, generation of workflowprogram, generation of invariant guards, automated failure analysis, automated repair,and automated reconfiguration of workflow.Introduction.This break out session started discussion on Specifying (and Protecting)Guaranteed Properties for Execution.The guaranteed properties would be analogs orcognates of serializability, with a simple API, and still powerful enough for provinginteresting properties.Examples include mutual exclusion (monitors in programs),serializability (transactions in databases), and protection against TOCTTOU exploits infile systems.Taking workflow as an example application where atomicity alone isinsufficient, we discussed the composition of atomic actions and the kind of propertiesthat can be guaranteed for composite activities.Using a travel booking scenario, wediscussed several interesting and challenging research topics and their relationship toatomicity.The first research topic is a declarative specification of workflow, in terms of its integrityconstraints and dependencies among components.This research could build on methodssuch as process algebra, which compose atomic actions.We further assume theseconstraints can be used as the execution properties and invariants to be guaranteed duringthe execution of workflow.Since current workflow languages such as BPEL4WS areprocedural, a declarative specification seems a very promising direction of research forboth workflow and guaranteed executions.The second research topic is a method to generate appropriate workflow executionsbased on these declarative specifications.This research could build on methods and toolssuch as constraint verifiers for checking integrity constraints and Colored Petri Nets forchecking program execution properties.The goal is to use rigorous methods to translatea declarative specification into procedural workflow languages such as BPEL, tomaintain the guaranteed properties.The resulting workflow executions should offer highconfidence in guaranteeing properties during program execution.The third research topic is to use the same specifications to generate invariant guardsthat monitor the workflow execution and detect any violations of the constraints andproperties supposed to be guaranteed during execution.This research could build onmethods such as event-driven architectures, continual queries, and guarding of invariantsfor specialized or customized system and applications software.When violations areDagstuhl Seminar Proceedings 06121
【 预 览 】
Files | Size | Format | View |
---|---|---|---|
Report: Break Out Session on Guaranteed Execution | 46KB | download |