We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
The dependability of composite services is largely affected by their constituent Web services. Composite services have to operate in an open and dynamically changing environment i...
Domenico Bianculli, Walter Binder, Mauro Luigi Dra...
—Feature-based intelligent design and manufacturing systems in the Internet environment are an evolution of traditional geometric and solid modeling systems. This paper presents ...
Jin Hou, Dengsheng Zhang, Zeng Chen, Xuerong Xu, T...