Analyzing vessel behavior using process mining

Situation Awareness with Systems of Systems

Volumn 9781461462309, Issue , 2013, Pages 133-148

  Maggi, Fabrizio M ^a   Mooij, Arjan J ^b   Van Der Aalst, Wil M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC SENSORS; GEOGRAPHICAL AREA; LARGE AMOUNTS OF DATA; MARITIME DOMAINS; MARITIME SAFETY; MARITIME SECURITY; MINING TECHNIQUES; PROCESS MINING; REFERENCE MODELING; SUSPICIOUS BEHAVIOURS;

EID: 84940790900     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-1-4614-6230-9_9     Document Type: Chapter

References (18)

1. Bauer A, Leucker M, Schallhart C (2010) Comparing LTL semantics for runtime verification. J Log Comput 20(3):651-674
2. Beer I, Ben-David S, Eisner C, Rodeh Y (2001) Efficient detection of vacuity in temporal model checking. Form Methods Syst Des 18(2):141-163
3. Eisner C, Fisman D, Havlicek J, Mcisaac A, Lustig Y, Van Campenhout D (2003) Reasoning with temporal logic on truncated paths. In: International conference on computer aided verification, vol 2725. Springer, Berlin/New York, pp 27-40
4. Günther CW, Van Der Aalst WMP (2007) Fuzzy mining - adaptive process simplification based on multi-perspective metrics. In: Business process management conference, vol 4714. Springer, Berlin/New York, pp 328-343
5. International Telecommunications Union (2001) Technical characteristics for a universal shipborne Automatic Identification System using time division multiple access in the VHF maritime mobile band, Recommendation ITU-R M.1371-1
6. Jagadeesh Chandra Bose RP, Van Der Aalst WMP (2009) Abstractions in process mining: a taxonomy of patterns. In: Business process management conference. Springer, Berlin/New York, pp 159-175
7. Kupferman O, Vardi MY (2003) Vacuity detection in temporal model checking. Int J Softw Tools Technol Transf 4(2):224-233
8. Leucker M, Schallhart C (2009) A brief account of runtime verification. J Log Algebraic Program 78(5):293-303
9. Maggi FM, Montali M, Westergaard M, Van Der Aalst WMP (2011) Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Rinderle-Ma R, Toumani F, Wolf K (eds) International conference on business process management (BPM 2011). Lecture notes in computer science, vol 6896. Springer, Berlin/New York, pp 132-147
10. Maggi FM, Mooij AJ, Van Der Aalst WMP (2011) User-guided discovery of declarative process models. In: IEEE symposium on computational intelligence and data mining (CIDM). IEEE Computer Society, Piscataway, pp 192-199
11. Maggi FM, Westergaard M, Montali M, Van Der Aalst WMP (2012) Runtime verification of LTL-based declarative process models. In: Khurshid S, Sen K (eds) International conference on runtime verification (RV 2011). Lecture notes in computer science, vol 7186. Springer, Berlin/New York, pp 131-146
12. Pesic M (2008) Constraint-based workflow management systems: shifting Controls to users. Ph. D. thesis, Beta Research School for Operations Management and Logistics, Eindhoven University of Technology
13. Pesic M, Schonenberg H, Van Der Aalst WMP (2007) Declare: full support for looselystructured processes. In: IEEE international EDOC conference. IEEE, Los Alamitos, pp 287-300
14. Pnueli A (1977) The temporal logic of programs. In: Annual IEEE symposium on foundations of computer science, Providence, pp 46-57
15. Simmonds J, Davies J, Gurfinkel A, Chechik M (2010) Exploiting resolution proofs to speed up LTL vacuity detection for BMC. Int J Softw Tools Technol Transf 12(5):319-335
16. Van Der Aalst WMP (2011) Process mining: discovery, conformance and enhancement of business processes. Springer, Berlin Heidelberg/New York
17. Van Der Aalst WMP, Pesic M, Schonenberg H (2009) Declarative workflows: balancing between flexibility and support. Comput Sci Res Dev 23(2):99-113
18. Weske M (2007) Business process management: concepts, languages, architectures. Springer, Berlin/New York