| 11250043 |
Classification of log data |
Nick Van Beest |
2022-02-15 |
| 9519528 |
Checking undoability of an API-controlled computing system |
Hiroshi Wada |
2016-12-13 |
| 8887124 |
Validation of process models |
Christian Quanz, Joerg Hoffmann |
2014-11-11 |
| 8762215 |
Brokered service delivery |
Alistair P. Barros |
2014-06-24 |
| 8732707 |
Composing and executing service processes |
Ulrike Greiner, York Sure, Matthias Born, Rainer Ruggaber, Marek Kowalkiewicz +4 more |
2014-05-20 |
| 8660905 |
Method and system for validating process models |
Ulrich Benz |
2014-02-25 |
| 8161460 |
System and method of automatic interoperability checking for BPEL |
Christian Drumm, Nadeem Qutteineh |
2012-04-17 |
| 8136099 |
Method and system for automatically generating executable processes from inter-organizational workflows |
Jochen Haller |
2012-03-13 |
| 8112257 |
Semantic extensions of business process modeling tools |
Florian Doerr, Christian Brelage, Matthias Born |
2012-02-07 |
| 8046733 |
Method and system for process composition |
— |
2011-10-25 |
| 7289940 |
Method and device for analyzing a technical system, in addition to a computer program product |
Reinhold Altpeter, Georg Hoever |
2007-10-30 |
| 6618635 |
Programming apparatus |
Hans-Joachim Beck, Gabriele Mangler, Peter Hornung |
2003-09-09 |