Show simple item record

dc.contributor.authorDong, JS
dc.contributor.authorSun, J
dc.contributor.authorLiu, Y
dc.contributor.authorLi, YF
dc.date.accessioned2017-10-23T23:17:06Z
dc.date.available2017-10-23T23:17:06Z
dc.date.issued2014
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-319-10882-7_2
dc.identifier.urihttp://hdl.handle.net/10072/172883
dc.description.abstractThe 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.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofpagefrom17
dc.relation.ispartofpageto24
dc.relation.ispartofjournalLecture Notes in Computer Science
dc.relation.ispartofvolume8687
dc.subject.fieldofresearchArtificial Intelligence and Image Processing not elsewhere classified
dc.subject.fieldofresearchcode080199
dc.titleEvent analytics
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.hasfulltextNo Full Text
gro.griffith.authorDong, Jin-Song


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record