Computer Science

Computer Science Colloquium

Egon Boerger
Universita di Pisa, Dipartimento di Informatica

A Subject-Oriented Interpreter Model for S-BPM

Fri 01.04.2011, 09:00, 60 minutes
Sitzungszimmer 3


We 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).
List of all talks
Last modified on Thursday, 01-Jan-1970 01:00:00 CET