With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
Mikhail Perepletchikov, Caspar Ryan, Keith Frampto...
Abstract: This paper introduces an Integrated Rule Modeling Framework, which consists of the UML-based rule modeling tool Strelka, rule interchange format R2ML and a number of serv...
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...