Tools and Infrastructure Facilities for Controlling Non-Functional Properties in Inter-Enterprise in Collaborations

Abstract

Viewpoint modeling has demonstrated to be an effective approach for specifying complex software systems by means of a set of independent viewpoints and correspondences between them. During its life cycle, a software system continuously evolves, as well as its specification changes to meet new requirements or to adapt to business changes. As a consequence, views and correspondences can be added, modified or removed, which may cause synchronization and consistency problems in the system specifications. In this paper, we explore the use of ASP to represent viewpoints, views and correspondences using its declarative logic and features, and we outline how this approach can be suitable to manage and maintain viewpoint synchronization in evolution scenarios.