Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Concurrent Separation Logic and in mechanizing proofs of its soundness, we found previous axiomatizations of separation algebras and previous systems of share accounting to be useful but imperfect. We adjust the axioms of...

We discuss the application of the metaprogramming techniques for soft IP design. Two metaprogramming paradigms are considered: the internal (using capabilities of the single language) and external (based on the usage of the target language and external metalanguage simultaneously) ones. The novelty of our approach is that we apply the concept of the multi-dimensional separation of concerns impl...

In this paper we address the problem of visualisation of enterprise architectures. To this purpose a framework for the visualisation of architectural views and the design of a visualisation infrastructure are presented. Separation of concerns between storage, internal representation and presentation is the main requirement for setting up this framework, since it will allow us to select and subs...

To improve object-oriented technologies, roles are proposed to support separation of concerns, object collaboration, and object evolutions. Compared with classes, there is confusion regarding roles in modeling, because classes are a well-accepted concept and mechanism of objectoriented technologies while roles are not. This paper explores the nature of classes and roles, clarifies the similarit...