Computer Science Colloquium
Universita di Pisa, Dipartimento di Informatica
A Subject-Oriented Interpreter Model for S-BPMFri 01.04.2011, 09:00, 60 minutes
AbstractWe illustrate a high-level accurate subject-oriented interpreter model for the semantics of the S-BPM constructs as presented and implemented in Metasonic's PASS system. To directly and faithfully reflect the basic constituents of S-BPM, namely communicating agents which can perform arbitrary actions on arbitrary objects, Abstract State Machines are used which explicitly contain these three conceptual ingredients and allow us to rigorously support the stepwise introduction of the concepts advocated.
Invited by O.Univ.-Prof. Dipl.-Ing. Dr. Christian Stary, Institut für Wirtschaftsinformatik
The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).