MONDRIAN

Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability

Overview

Team

Results

Project Workshops


News

tinynew.gif 11 August 11 Paper accepted at FACS'11: A. Sanchez, L. S. Barbosa and D. Riesco. Bigraphical Modelling of Architectural Patterns

tinynew.gif 8 August 11 Paper accepted at EI2N'11: N. Rodrigues, N. Oliveira and L. S. Barbosa. The role of coordination analysis in software integration projects

tinynew.gif 19 June 11 Paper accepted at SEFM'11: A. Madeira, J. M. Faria, M. A. Martins and L. S. Barbosa. Hybrid specification of reactive systems: An institutional approach

27 April 11 Paper accepted at Refine'11: C. J. Rodrigues, M. A. Martins, A. Madeira and L. Barbosa. Refinement by interpretation in Pi-institutions

21 April 11 Paper accepted at CALCO'11: M. A. Martins, A. Madeira, R. Diaconescu and L. Barbosa. Hybridization of Institutions

21 April 11 Paper accepted at CALCO-Tools: A. Martins, L. Barbosa, N. F. Rodrigues. SHACC: A functional animator for a component calculus

New *journal paper: D. Hofmann and P. Waszkiewicz. Approximation in quantale-enriched categoriess, TA 158 (8), 2011.

12 Mar 11 Paper accepted at CiE'11: A. Madeira, M.A. Martins and L. S. Barbosa. Models as arrows: the role of dialgebras

10 Mar 11 Paper accepted at CBSEC'11: A. Madeira, J. M. Faria, M. A. Martins, L. S. Barbosa. On requirements engineering for reactive systems: A formal methodology

New journal paper: D. Hofmann and I. Stubbe. Towards Stone duality for topological theories, TA 158 (7), 2011.

25 Feb 11 Paper accepted at TICTTL'11: M.A. Martins, A. Madeira and L. S. Barbosa. Reasoning about complex requirements in a uniform setting

1 Feb 11 Paper accepted at RAMiCS 12: Mu, Shin Cheng and J.N. Oliveira. Programming from Galois Connections

New journal paper: N. F. Rodrigues and L. S. Barbosa. Slicing for Architectural Analysis, SCP 75 (10), 2010.

Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability

This project aims at developing new calculi and techniques to address a number of hot, cross-cutting questions in the foundations of architectural design for service-oriented computing. The project explores dialgebraic structures as a possible semantic foundation and suitable logics for modelling and verifying behavioural properties.

(read more)


Project info

Supported by FCT under contract PTDC/EIA-CCO/108302/2008 (87 KEuro)
Start Date 15th March 2010
Duration 3 years
Hosted by CCTC, Informatics @ Minho University
  Mathematics and Applications, Maths @ Aveiro University
Team mondrian@di.uminho.pt
Coordination Luís Soares Barbosa (lsb@di.uminho.pt)
Telefone +351 253604463 (direct) or +351 253604430
Fax +351 253604471

r26 - 25 Apr 2011 - 16:12:17 - LuisSoaresBarbosa
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM