Interface Groups for Analytic Execution Architectures
Jan Aldert Bergstra, Alban Ponse · UvA-DARE (University of Amsterdam) · 2006
Analytic execution architectures have been proposed as a means to conceptualize the cooperation between components such as programs, threads, states and services. Interface groups provide a technique to combine interface elements into interfaces with the exibility to distinguish between permission and obligation and between promise and expectation which all come into play when component interfaces are specied.