Abstract. As the dynamicity of today's business environments keeps increasing, there is a need to continuously adapt business processes in order to respond to the changes in t...
Gabriel Hermosillo, Lionel Seinturier, Laurence Du...
In self-adaptive systems components are dynamically modified according to the execution environment requirement, where each component is a probable point of failure. Existing appr...
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
Justin Mazzola Paluska, Hubert Pham, Umar Saif, Gr...
Connectors are used to realize component interactions in component systems. Apart from their primary function, which is mediating the communication, their implementation can also s...