We describe a functional, functorial approach to the modelview-controller software architecture for command-oriented programs in ML. In our approach, a controller’s algorithm is apparent; it doesn’t have to be mentally pieced together from a set of event handlers. Furthermore, what would be the state of a model (domain-specific part of the program) in an object-oriented setting becomes argument...

To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ DispatcherKollocutor technique), a simple and pragmatic approach to allow addressing of operating-system processes like local objects, i.e., by calling methods that can be dynamically bound. It supports not only concurrency but also distribution over machine boundaries and offers enough flexi...

Behavioural modelling has been widely used to aid in the design of concurrent systems. Behaviour models have shown to be useful to uncover design errors in early stages of the development process. However, building correct behaviour models is costly and requires significant experience. Controller synthesis offers a way to build models that are correct by construction. Existing software engineer...

Using the extended model for view-centric reasoning, EVCR, we focus on the many possibilities for concurrent processes to be composed. EVCR is an extension of VCR, both models of true concurrency; VCR is an extension of CSP, which is based on an interleaved semantics for modeling concurrency. VCR, like CSP, utilizes traces of instantaneous events, though VCR permits recording parallel events to...