|
2014-08-13 Seminar Roy on A CSP-theoretic framework
of checking conformance of business processes
|
|
In this talk, we tackle the problem of conformance
checking which > verifies if the event logs (observed)
match/fit the reference (arbitrary) process. We use
concepts from Communicating Sequential Processes (CSP),
which facilitates automated analysis using PAT toolkit.
By this technique one can identify all the logs which
cannot be properly replayed on the process. We illustrate
our approach with an example. Finally, we introduce some
metrics based on conformance checking. They are related
to fitness, closeness, and appropriateness of the event
logs vis-a-vis reference process models. We further
indicate that such a framework can be used to tackle the
problem of both static and run-time compliance checking
for business processes. Our work is motivated by
user friendly need of employing easy input technique of
models and keeping the model checking work at the
back-end.
|
|
2014-08-05: Podcast Interview with Len Bass
|
|
Architect Len Bass and author of Software Architecture in
Practice has been interviewed for a
podcast .
|
|
2014-07-29: seL4 is open source!
|
Today seL4 was released as open-source. In addition to
kernel and proofs, sample projects, the CAmkES component
framework, and a test suite were made available.
Details on how to download are at http://sel4.systems/.
|
|
2014-07-26 Paper accepted at OSDI
|
|
Adam Walker and Leonid Ryzhyk of
SSRG have a
paper accepted to OSDI--one of the most
competitive and prestigious conferences in computer
science. The paper describes their Termite device
driver synthesis tool, which uses game theory to automate
the tedious and error-prone task of driver development.
Termite is a joint project with Intel Labs and
University of Toronto. This work is part of the
broader research agenda on using rigorous mathematical
techniques to create better operating systems, pursued by
the OS research group at SSRG
|
|
2014-07-25: Ninth Max-SAT Evaluation
|
Visiting Researcher Nina Narodytska, (University of
Torento) has won 3 awards with her solver Eva500a at the
ninth
Evaluation of Max-Sat Solvers. First place in
the weighted partial MaxSat category and third place in
both partial MaxSAT and the MaxSat (industrial)
category
|
