dc.contributor.author |
Dong, JS |
en |
dc.contributor.author |
Sun, J |
en |
dc.contributor.author |
Liu, Y |
en |
dc.contributor.author |
Li, YF |
en |
dc.contributor.author |
Sun, Jing |
en |
dc.contributor.author |
Shi, L |
en |
dc.coverage.spatial |
Nanjing, China |
en |
dc.date.accessioned |
2016-07-21T05:49:10Z |
en |
dc.date.issued |
2015-09 |
en |
dc.identifier.citation |
Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on, 2015, pp. 4 - 6 |
en |
dc.identifier.isbn |
978-1-4673-7612-9 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/29533 |
en |
dc.description.abstract |
Model checking has been pervasive and successful in finding bugs in hardware and software systems, including real-time and probabilistic systems. Applying model checking to decision making is relative new and has an excellent potential to be compliment to data analytics and other Artificial Intelligent (AI) or Operational Research (OR) based decision making techniques. Our last 8 years research has focused on the development of PAT (Process Analysis Toolkit) [18] whichsupports modelling languages that combine the expressiveness of event, state, time and probability based modeling techniques to which model checking can be directly applied. The next direction for PAT is to move from verification to analytics, we call it "Event Analytics" with a special focus on "Strategy Analytics". |
en |
dc.description.uri |
http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7307710 |
en |
dc.publisher |
IEEE |
en |
dc.relation.ispartof |
The 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015) |
en |
dc.relation.ispartofseries |
Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on |
en |
dc.rights |
Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. Details obtained from http://ieeexplore.ieee.org/xpl/aboutUs.jsp |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.title |
Event and Strategy Analytics |
en |
dc.type |
Conference Item |
en |
dc.identifier.doi |
10.1109/TASE.2015.28 |
en |
pubs.begin-page |
4 |
en |
dc.rights.holder |
Copyright: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
en |
pubs.author-url |
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7307727 |
en |
pubs.end-page |
6 |
en |
pubs.finish-date |
2015-09-14 |
en |
pubs.publication-status |
Published |
en |
pubs.start-date |
2015-09-12 |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/RestrictedAccess |
en |
pubs.subtype |
Proceedings |
en |
pubs.elements-id |
494744 |
en |
pubs.org-id |
Science |
en |
pubs.org-id |
School of Computer Science |
en |
pubs.record-created-at-source-date |
2015-08-13 |
en |