We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
The coordination paradigm has been used extensively as a mechanism for software composition and integration. Consequently, a number of associated models and languages have been pr...
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...