Title
Using unstructured data to improve the continuous planning of critical processes involving humans
Abstract
The success of processes executed in uncertain and changing environments is reliant on the dependable use of relevant information to support continuous planning at runtime. At the core of this planning is a model which, if incorrect, can lead to failures and, in critical processes such as evacuation and disaster relief operations, to harm to humans. Obtaining reliable and timely estimations of model parameters is often difficult, and considerable research effort has been expended to derive methods for updating models at run-time. Typically, these methods use data sources such as system logs, run-time events and sensor readings, which are well structured. However, in many critical processes, the most relevant data are produced by human participants to, and observers of, the process and its environment (e.g., through social media) and is unstructured. For such scenarios we propose COPE, a work-in-progress method for the continuous planning of critical processes involving humans and carried out in uncertain, changing environments. COPE uses a combination of runtime natural-language processing (to update a stochastic model of the target process based on unstructured data) and stochastic model synthesis (to generate Pareto-optimal plans for the process). Preliminary experiments indicate that COPE can support continuous planning effectively for a simulated evacuation operation after a natural disaster.
Year
DOI
Venue
2019
10.1109/SEAMS.2019.00013
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Keywords
DocType
ISSN
natural-language processing, probabilistic model checking, stochastic model synthesis
Conference
2157-2305
ISBN
Citations 
PageRank 
978-1-7281-3369-0
1
0.34
References 
Authors
20
4
Name
Order
Citations
PageRank
Colin Paterson111210.76
Radu Calinescu290563.01
Di Wang31337143.48
Suresh Manandhar4123888.99