http://www.win.tue.nl/~jmw/ 2013-05-22T00:37:57+02:00 http://www.win.tue.nl/~jmw/ http://www.win.tue.nl/~jmw/lib/tpl/neolaoresources3/images/favicon.ico text/html 2013-05-15T23:07:40+02:00 jmw http://www.win.tue.nl/~jmw/znck?rev=1368652060&do=diff Eigen keuze * Gute Nacht t: Joseph von eichendorff, m: Robert Franz, op. 5 nr 7 Homofoon Keuze * Anton Bruckner Locus iste * Felix Mendelssohn-Bartholdy Abschied vom Walde Overig * Vic Nees: De profundis clamavi * Alphons Diepenbrock Wandrers Nachtlied text/html 2013-05-14T09:47:59+02:00 jmw http://www.win.tue.nl/~jmw/publications?rev=1368517679&do=diff See also the TU/e website with publications, Google Scholar, and my DBLP entry. Journals * Hee, K.M. van, Sidorova, N. and Werf, J.M.E.M. van der (2012). When can we trust a third party? : a soundness perspective. In Transactions on Petri Nets and Other Models of Concurrency (accepted). * Hee, K.M. van, Sidorova, N. and Werf, J.M.E.M. van der (2013). Refinement of synchronizable places with multi-workflow nets. Fundamenta Informaticae, 122(1-2), 59-83. * K.M. van Hee, N. Sidorova, and J.… text/html 2013-04-17T10:31:46+02:00 jmw http://www.win.tue.nl/~jmw/?image=spec%3Aeenpuntmaaktverschil.png&ns=spec&rev=1366187506&tab_details=history&mediado=diff&do=media <img src="/~jmw/_media/spec/eenpuntmaaktverschil.png?w=365&h=500t=1366187506" alt="spec:eenpuntmaaktverschil.png" /> text/html 2013-04-11T15:01:36+02:00 jmw http://www.win.tue.nl/~jmw/specificatie?rev=1365685296&do=diff Specificeren is een vak apart. Het is vaak de eerste stap in een ontwikkelproces van een “ding”. Wat gaan we maken, en waarom? Aan welke eisen moet het aan voldoen? Doel van specificeren is om tot een eenduidige verzameling van eisen en regels te komen die het “ding” adequaat beschrijven. Eenduidig wil zeggen dat de regels en eisen (1) consistent en (2) helder zijn. Met consistent bedoelen we dat de regels en eisen elkaar niet tegenspreken, en met helder bedoelen we dat het geheel slechts op één… text/html 2013-04-11T14:58:55+02:00 jmw http://www.win.tue.nl/~jmw/?image=spec%3Ans.jpg&ns=spec&rev=1365685135&tab_details=history&mediado=diff&do=media <img src="/~jmw/_media/spec/ns.jpg?w=500&h=500t=1365685135" alt="spec:ns.jpg" /> text/html 2012-12-05T11:08:33+02:00 jmw http://www.win.tue.nl/~jmw/prom/commcomponents?rev=1354702113&do=diff Raw data The raw data we obtained is in a CSV format containing the following fields: * timestamp * case ID * System * Component * Type (begin, end) Next, we will transform this into an event log, using the following mapping: * case Id -> trace identifier * timestamp -> time:timestamp * Component -> org:resource * Type -> concept:name text/html 2012-12-05T10:25:53+02:00 jmw http://www.win.tue.nl/~jmw/?image=prom%3Acomponentontology.png&ns=prom&rev=1354699553&tab_details=history&mediado=diff&do=media <img src="/~jmw/_media/prom/componentontology.png?w=463&h=134t=1354699553" alt="prom:componentontology.png" /> text/html 2012-11-07T18:06:11+02:00 jmw http://www.win.tue.nl/~jmw/presentations?rev=1352307971&do=diff * [Forensic Analysis Using Process Mining Techniques] Forensic Intelligence conference, Rijswijk, 14 Juni 2012. * [When can we trust a third Party] PNSE 2012, Hamburg, 25 Juni 2012. * [Context-Aware Compliance Checking] BPM 2012, Tallinn, 4 September 2012. * [Meta Modeling: Making Business Intelligence Intelligent] Guest lecture course Meta Modeling &amp; Interoperability, Eindhoven, 15 October 2012. text/html 2012-08-06T15:32:44+02:00 jmw http://www.win.tue.nl/~jmw/start?rev=1344259964&do=diff I am a researcher in the Architecture of Information Systems group where I am working on the PoSecCo project. I have obtained my M.Sc. (ir.) degree in the same group. I received my PhD (dr.ir.) in February 2011. My research focuses on the design and verification of component-based systems, in combination with process mining. Process mining is a combination of both data mining and process analysis. In the PoSecCo project, we mainly focus on the mining of system landscapes. text/html 2012-04-03T12:19:38+02:00 jmw http://www.win.tue.nl/~jmw/?image=spec%3Apnet-challenge.pdf&ns=spec&rev=1333448378&tab_details=history&mediado=diff&do=media text/html 2011-11-25T10:00:30+02:00 jmw http://www.win.tue.nl/~jmw/?image=jmw%3Ajmw001.pdf&ns=jmw&rev=1322211630&tab_details=history&mediado=diff&do=media text/html 2011-11-21T17:55:03+02:00 jmw http://www.win.tue.nl/~jmw/?image=xes-ontology%3Atransformation.png&ns=xes-ontology&rev=1321894503&tab_details=history&mediado=diff&do=media <img src="/~jmw/_media/xes-ontology/transformation.png?w=500&h=225t=1321894503" alt="xes-ontology:transformation.png" /> text/html 2011-09-22T16:58:28+02:00 jmw http://www.win.tue.nl/~jmw/?image=xes-ontology%3Aexampleontology.jpg&ns=xes-ontology&rev=1316703508&tab_details=history&mediado=diff&do=media <img src="/~jmw/_media/xes-ontology/exampleontology.jpg?w=499&h=338t=1316703508" alt="xes-ontology:exampleontology.jpg" /> text/html 2011-09-09T08:12:46+02:00 jmw http://www.win.tue.nl/~jmw/?image=configuration%3Asynergia_ontologies.png&ns=configuration&rev=1315548766&tab_details=history&mediado=diff&do=media <img src="/~jmw/_media/configuration/synergia_ontologies.png?w=500&h=178t=1315548766" alt="configuration:synergia_ontologies.png" /> text/html 2011-05-22T15:46:05+02:00 jmw http://www.win.tue.nl/~jmw/?image=svn%3Acheckout.png&ns=svn&rev=1306071965&tab_details=history&mediado=diff&do=media <img src="/~jmw/_media/svn/checkout.png?w=468&h=363t=1306071965" alt="svn:checkout.png" /> text/html 2011-05-11T17:13:11+02:00 jmw http://www.win.tue.nl/~jmw/?image=xes-ontology%3Aexampleontology.png&ns=xes-ontology&rev=1305126791&tab_details=history&mediado=diff&do=media <img src="/~jmw/_media/xes-ontology/exampleontology.png?w=500&h=344t=1305126791" alt="xes-ontology:exampleontology.png" /> text/html 2011-04-15T09:42:40+02:00 jmw http://www.win.tue.nl/~jmw/?image=xes-ontology%3Axes-log-example.jpg&ns=xes-ontology&rev=1302853360&tab_details=history&mediado=diff&do=media <img src="/~jmw/_media/xes-ontology/xes-log-example.jpg?w=500&h=466t=1302853360" alt="xes-ontology:xes-log-example.jpg" /> text/html 2011-04-15T09:41:59+02:00 jmw http://www.win.tue.nl/~jmw/?image=xes-ontology%3Axes-standard.png&ns=xes-ontology&rev=1302853319&tab_details=history&mediado=diff&do=media <img src="/~jmw/_media/xes-ontology/xes-standard.png?w=500&h=333t=1304327160" alt="xes-ontology:xes-standard.png" /> text/html 2011-03-02T14:30:03+02:00 jmw http://www.win.tue.nl/~jmw/?image=spec%3Aroyaleschaal.jpg&ns=spec&rev=1299072603&tab_details=history&mediado=diff&do=media <img src="/~jmw/_media/spec/royaleschaal.jpg?w=500&h=299t=1299072603" alt="spec:royaleschaal.jpg" /> text/html 2011-03-02T14:29:53+02:00 jmw http://www.win.tue.nl/~jmw/?image=spec%3Aroyalestokjes.jpg&ns=spec&rev=1299072593&tab_details=history&mediado=diff&do=media <img src="/~jmw/_media/spec/royalestokjes.jpg?w=500&h=299t=1299072593" alt="spec:royalestokjes.jpg" />