From Formalising Informal Knowledge to Reasoning and

Introduction
Jessica Chen-Burger
Heriot-Watt University, UK
Dagstuhl Seminar
Feb 27-Mar 3, 2017
1
Personal Background
IBM Business
Models and
Methods
IBM PM,
ProM,
PDD Formal
Framework,
VWfM Alg,
KBST-BM
Knowledge
Technologies,
Ontology,
Model
Automation
E-Commerce
& SCM
FBPML
KBST-EM
VWfM Alg
FBPML
KBST-EM
VWfM Alg
FBPML
KBST-EM
Marine-Biology
HPC & Big Data
Social Informatics
Process Mining
& Big Data
FBPML, KBST-EM, VWfM Alg
FBPML: Formal Business Process Modelling Language
VWfM: Virtual Workflow Machine
Ecology and Process
Modelling/Mining?
*: Future directions
2
Research Areas/Interests
• Rich knowledge modelling, representation,
reasoning and analysis
• Process modelling, automatic composition,
execution and recommendation
• Process mining and intelligence analysis
• Applications
– eHealth
– Business services model construction/automation
– Intelligent network automation/management
3
Links to „Computer Science meets
Ecology“ - EU Fish4Knowledge Project
4