Social capital society and peace: Reflections on conflict transformation in the Philippines

Civil society is recognised as comprising complex and multifaceted entities, resilient to and yet responsive to both the state apparatus and global market processes. Civil society in the Philippines, long regarded as one of the most vibrant, diverse and innovative in Asia, has emerged as a significant actor in the field of conflict resolution and peace-building. In thinking about the work of peace, this paper engages with the effectiveness of civil society in mobilising societal awareness for a ‘just and lasting peace’ in the southern Philippines. Shaped by development paradigms that privilege concepts such as social capital, the paper aims to interrogate how such concepts situated within the development–security nexus proposed by the Philippine government and funding agencies have influenced conflict-transformation initiatives in Mindanao, Philippines.

Incremental model transformation for the evolution of model-driven systems

Model transformations are an integral part of model-driven development. Incremental updates are a key execution scenario for transformations in model-based systems, and are especially important for the evolution of such systems. This paper presents a strategy for the incremental maintenance of declarative, rule-based transformation executions. The strategy involves recording dependencies of the transformation execution on information from source models and from the transformation definition. Changes to the source models or the transformation itself can then be directly mapped to their effects on transformation execution, allowing changes to target models to be computed efficiently. This particular approach has many benefits. It supports changes to both source models and transformation definitions, it can be applied to incomplete transformation executions, and a priori knowledge of volatility can be used to further increase the efficiency of change propagation.

A formal metamodeling approach to a transformation between the UML state machine and object-z

A significant problem with currently suggested approaches for transforming between models in different languages is that the transformation is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a formal metamodeling approach for transforming between UML and Object-Z. In the paper, the two languages are defined in terms of their formal metamodels, and a systematic transformation between the models is provided at the meta-level in terms of formal mapping functions. As a consequence, we can provide a precise, consistent and complete transformation between them.