Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
Abstract. Service Level Agreements (SLA) are needed to allow business interactions to rely on Internet services. Service Level Objectives (SLO) specify the committed performance le...
Component Based Development aims at constructing software through the inter-relationship between pre-existing components. However, these components should be bound to a specific a...
– To build, manage and apply reusable components easily and efficiently are an ideal of software developers. Service-oriented architectures provide more hopes for reusable compon...