A Conceptual Framework for Adaptation

A Correctness and Incorrectness Program Logic

artículo científico publicado en 2023

A Formal Support to Business and Architectural Design for Service-Oriented Systems

article by Roberto Bruni et al published 2011 in Lecture Notes in Computer Science

A Graph Syntax for Processes and Services

article

A Service-Oriented UML Profile with Formal Support

A semantic framework for open processes

artículo científico publicado en 2007

An Algebra of Hierarchical Graphs

article

Constraint design rewriting

Evaluating the Performance of Model Transformation Styles in Maude

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning

Graph-Based Design and Analysis of Dynamic Software Architectures

article by Roberto Bruni et al published 2008 in Lecture Notes in Computer Science

Hierarchical Design Rewriting with Maude

Hierarchical Models for Service-Oriented Systems

Limits and Difficulties in the Design of Under-Approximation Abstract Domains

artículo científico publicado en 2024

Modelling and Analyzing Adaptive Self-assembly Strategies with Maude

Modelling and analyzing adaptive self-assembly strategies with Maude

On GS-Monoidal Theories for Graphs with Nesting

article published in 2010

On Symbolic Semantics for Name-decorated Contexts

Preface

Service Oriented Architectural Design

scholarly article