Transforming PACS models into implementations

This paper describes a possible transformation of a PACS model into an implementation. The transformation is based on an intermediate model that specifies a system as a collection of concurrent objects that exchange messages. Characteristic for the intermediate model is that the processing of messages by objects is specified separately from communication. Due to this separation, objects do not need to known how communication takes place (synchronous or asynchronous), and do not necessarily have to know each other. The approach is illustrated using the Mimose model