Security critical systems development needs to integrate both project and product risks assessment into the development. Such systems need to balance time to market constraints, cost demands, functional requirement, as well as security requirements. This advocate the use of techniques that support costeffective and risk-driven development. The aspect-oriented risk-driven development (AORDD) fra...

The paradigm of service-oriented computing (SOC) has emerged as an approach to provide flexibility and agility, not just in systems development but also in business process management. This modular approach to defining business flows as technology independent services has gained unanimous popularity among end-users and technology vendors alike. Although there is a significant amount of ongoing ...

The paradigm of service-oriented computing (SOC) has emerged as an approach to provide flexibility and agility, not just in systems development but also in business process management. This modular approach to defining business flows as technology independent services has gained unanimous popularity among end-users and technology vendors alike. Although there is a significant amount of research...

Aspect-oriented (AO) systems have to deal with an important problem which is the management of aspect interaction. In this paper, we introduce a first tool, known as AO-Maude, which is based on Maude language for the specification and the verification of the AO systems. The proposed tool relies on the reflection feature of rewriting logic that allows us to represent in the Meta-Level the struct...

The most important goal of each society, is to reach economic development. As the goal and agent of development, man has got an important responsibility, which responsibility is realized by way of education, specially higher education, because the universities are the main factors for progress, production of knowledge and education of specialized human forces and they play a significant role in...

This paper deals with interoperability of enterprises. Interoperability is a multi-form issue and can be studied at different levels. This research work focuses on the business level and particularly on the decisional aspect so called decisional interoperability. The objective of the paper is to present how to develop decisional interoperability using design principles with mathematical formali...

Syntax Multiplicity AssociationEnd TypedFeature