Publication Type

Conference Proceeding Article

Version

publishedVersion

Publication Date

9-2014

Abstract

The process analysis toolkit (PAT) integrates the expressiveness of state, event, time, and probability-based languages with the power of model checking. PAT is a self-contained reasoning system for system specification, simulation, and verification. PAT currently supports a wide range of 12 different expressive modeling languages with many application domains and has attracted thousands of registered users from hundreds of organizations. In this invited talk, we will present the PAT system and its vision on “Event Analytics” (EA) which is beyond “Data Analytics”. The EA research is based on applying model checking to event planning, scheduling, prediction, strategy analysis and decision making. Various new EA research directions will be discussed.

Keywords

Model Check, Service Composition, Smart City, Deterministic Finite Automaton, Event Trace

Discipline

Programming Languages and Compilers | Software Engineering

Research Areas

Software and Cyber-Physical Systems

Publication

Proceedings of the 11th International Colloquium, Bucharest, Romania, 2014 September 17-19

First Page

17

Last Page

24

ISBN

9783319108810

Identifier

10.1007/978-3-319-10882-7_2

Publisher

Springer Link

City or Country

Bucharest, Romania

Additional URL

https://doi.org/10.1007/978-3-319-10882-7_2

Download

Share

COinS