 The
Core
|
|
Antónia Lopes, José Luiz Fiadeiro: Superposition:
Composition vs refinement of non-deterministic action-based systems.
Formal Aspects of Computing 16(1): 5-18 (2004) |
|
José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger:
A Mathematical Semantics for Architectural Connectors.
LNCS 2793: 190-234 (2003) |
|
José Luiz Fiadeiro:
Coordination Technologies for Just-in-time Integration.
LNCS 2422:308-321 (2002) |
|
Antónia Lopes, José Luiz Fiadeiro: Revisiting
the Categorical Approach to Systems. AMAST 2002: 426-440
|
|
José Luiz Fiadeiro, Antónia Lopes: Algebraic
Semantics of Coordination or What Is in a Signature. AMAST
1998: 293-307 |
|
Antónia Lopes, José Luiz Fiadeiro: Preservation
and Reflection in Specification. AMAST 1997: 380-394 |
|
José Luiz Fiadeiro, Antónia Lopes, Tom Maibaum: Synthesising
interconnections. Algorithmic Languages and Calculi 1997:
240-264 |
|
José Luiz Fiadeiro, Tom Maibaum: Categorical Semantics
of Parallel Program Design. Science of Computer Programming
28(2-3): 111-138 (1997) |
|
José Luiz Fiadeiro: On the Emergence of Properties
in Component-Based Systems. AMAST 1996: 421-443 |
|
José Luiz Fiadeiro, Tom Maibaum: Interconnecting Formalisms:
Supporting Modularity, Reuse and Incrementality. SIGSOFT
FSE 1995: 72-80 |
Event-Based Systems |
|
José Luiz Fiadeiro, Antónia Lopes: A Formal Approach to Event-Based Architectures. FASE 2006: in print |
Distribution/Mobility/Context-awareness |
|
Antónia Lopes, José Luiz Fiadeiro: Context-Awareness in Software Architectures . EWSA 2005: 146-161 |
|
Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes: Modelling the GSM Handover Protocol in CommUnity. ENTCS 141(3): 3-25 (2005) |
|
Antónia Lopes, José Luiz Fiadeiro: Algebraic Semantics of Design Abstractions for Context-Awareness. WADT 2004: 79-93 |
|
Antónia Lopes, José Luiz Fiadeiro: Adding Mobility to Software Architectures. ENTCS 97: 241-258 (2004) |
|
Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes: An Architectural Approach to Mobility - The Handover Case Study. WICSA 2004: 305-310 |
|
Antónia Lopes, José Luiz Fiadeiro: On How Distribution and Mobility Interfere with Coordination. WADT 2002: 343-358 |
|
José Luiz Fiadeiro, Antónia Lopes: CommUnity on the Move: Architectures for Distribution and Mobility. FMCO 2003: 177-196 |
|
Luis Filipe Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger:
Architectural Techniques for Evolving Control Systems.
FORMS 2003: 41-50 |
|
Luis Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel
Wermelinger: Coordination for Distributed Business Systems.
CAiSE Workshops 2003 |
|
Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger:
Architectural primitives for distribution and mobility.
SIGSOFT FSE 2002: 41-50 |
|
Michel Wermelinger, José Luiz Fiadeiro: Connectors
for Mobile Programs. TSE 24(5): 331-341 (1998) |
Software
Architectures |
|
José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger:
A Mathematical Semantics for Architectural Connectors.
LNCS 2793: 190-234 (2003) |
|
Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro:
High-order architectural connectors. TOSEM 12(1):
64-104 (2003) |
|
José Luiz Fiadeiro: Algebraic Support for Service-Oriented
Architecture. AMAST 2002: 75-82 |
|
Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro:
A Compositional Approach to Connector Construction.
WADT 2001: 201-220 |
|
Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro:
Superposing Connectors.
IWSSD'00: 87-94 |
|
Antónia Lopes, José Luiz Fiadeiro: Using Explicit
State to Describe Architechtures. FASE 1999: 144-160 |
|
Michel Wermelinger, José Luiz Fiadeiro:
Towards an Algebra of Architectural Connectors: a Case Study on Synchronization for Mobility. IWSSD 1998: 135- |
|
José Luiz Fiadeiro, Antónia Lopes: Semantics
of Architectural Connectors. TAPSOFT 1997: 505-519 |
Operational
semantics |
|
Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, and
Ugo Montanari: New insights into the algebraic properties of
architectural connectors. IFIP TCS 2004: 367-380 |
|
Andrea Corradini, Dan Hirsch:
An operational semantics of CommUnity based on graph transformations.
ENTCS 109:111-124, 2004 |
|
Michel Wermelinger, Antónia Lopes, José Luiz Fiadeiro:
A graph based architectural (Re)configuration language.
ESEC / SIGSOFT FSE 2001: 21-32 |
|
Michel Wermelinger, José Luiz Fiadeiro: Algebraic Software
Architecture Reconfiguration. ESEC / SIGSOFT FSE 1999: 393-409 |
|
Michel Wermelinger, José Luiz Fiadeiro, José Meseguer:
Semantics of Transient Connectors in Rewriting Logic.
WICSA 1999 |
Workbench |
|
Michel Wermelinger, Cristóvão Oliveira: The
CommUnity Workbench. ICSE 2004: 709-710 |
|
Michel Wermelinger, Cristóvão Oliveira: The
CommUnity Workbench. ICSE 2002: 713 |
Coordination
contracts |
| The
publications listed below do not address CommUnity directly but illustrate
ways in which CommUnity has been used to support the definition of
modelling primitives and design techniques that are based on the separation
of "coordination" from "computation". They are listed as "coordination
contracts" because this is the name of the first semantic primitive
to be born from the collaboration initiated in 1998 between the CommUnity
team and ATX Software. |
| The
CDE and the coordination micro-architecture |
|
Luis Filipe Andrade, José Luiz Fiadeiro, Joao Gouveia, Georgios
Koutsoukos, Michel Wermelinger: Coordination for Orchestration.
COORDINATION 2002: 5-13 |
|
Joao Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe
Andrade, José Luiz Fiadeiro: The Coordination Development
Environment. FASE 2002: 323-326 |
|
Joao Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe
Andrade, José Luiz Fiadeiro: Coordination contracts
for Java applications. ICSE 2002: 714 |
|
Luis Filipe Andrade, José Luiz Fiadeiro, Joao Gouveia, Antónia
Lopes, Michel Wermelinger: Patterns for Coordination.
COORDINATION 2000: 317-322 |
| Methodology |
|
Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira: Distribution Concerns in Service-Oriented Modelling. International Journal on Internet Protocol Technology 2006: in print |
|
Leonor Barroca, José Luiz Fiadeiro, Michael Jackson, Robin C. Laney, Bashar Nuseibeh: Problem Frames: A Case for Coordination. COORDINATION 2004: 5-1 |
|
Nasreddine Aoumeur, José Luiz Fiadeiro, Cristóvão Oliveira: Towards an Architectural Approach to Location-Aware Business Processes. WETICE 2004: 147-152 |
|
Ana Moreira, Luis Filipe Andrade, José Luiz Fiadeiro: Evolving
Requirements through Coordination Contracts. CAiSE 2003:
633-646 |
|
Luis Filipe Andrade, José Luiz Fiadeiro, Antónia Lopes, Michel Wermelinger: Coordination for Distributed Business Systems. CAiSE Workshops 2003 |
|
Luis Filipe Andrade, José Luiz Fiadeiro: Architecture
Based Evolution of Software Systems. LNCS 2804: 148-181 (2003) |
|
Luis Filipe Andrade, José Luiz Fiadeiro: Service-Oriented Business and System Specification: Beyond Object-orientation. Practical Foundations of Business and System Specifications: 1-23 (2003) |
|
Luis Filipe Andrade, José Luiz Fiadeiro: Agility through
coordination. Information Systems 27(6): 411-424 (2002) |
|
Luis Filipe Andrade, José Luiz Fiadeiro, Joao Gouveia, Georgios
Koutsoukos: Separating computation, coordination and configuration.
Journal of Software Maintenance 14(5): 353-369 (2002) |
|
Luis Filipe Andrade, José Luiz Fiadeiro, Michel Wermelinger:
Enforcing Business Policies Through Automated Reconfiguration.
ASE 2001: 426- |
|
Luis Filipe Andrade, José Luiz Fiadeiro, Joao Gouveia, Georgios
Koutsoukos, Michel Wermelinger: Support for business-driven evolution with coordination technologies.
IWPSE 2001: 99-102 |
|
Luis Filipe Andrade, José Luiz Fiadeiro: Coordination
Technologies for Managing Information System Evolution. CAiSE
2001: 374-387 |
|
Luis Filipe Andrade, José Luiz Fiadeiro: Interconnecting
Objects Via Contracts. UML 1999: 566-583 |
| Applications |
|
Michel Wermelinger, Georgios Koutsoukos, Richard Avillez, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro: Using Coordination Contracts for Flexible Adaptation to Changing Business Rules. IWPSE 2003: 115-120 |
|
Michel Wermelinger, Georgios Koutsoukos, Hugo Lourenço, Richard Avillez, João Gouveia, Luis Filipe Andrade, José Luiz Fiadeiro: Enhancing Dependability Through Flexible Adaptation to Changing Requirements. WADS 2003: 3-24 |
|
Rogério Lemos, José Luiz Fiadeiro: An architectural
support for self-adaptive software for treating faults. WSHS
2002: 39-42 |
|
José Luiz Fiadeiro: An Architectural Approach to Fault
Treatment in Critical Infrastructures. EDCC 2002: 86-87 |
|
Luis Filipe Andrade, José Luiz Fiadeiro: An Architectural
Approach to Auto-Adaptive Systems. ICDCS Workshops 2002:
439-444 |
|
Luis Filipe Andrade, José Luiz Fiadeiro: Coordination
Architecture for Evolvable Event-Based Systems. ICDCS Workshops
2002: 571-572 |
|
Georgios Koutsoukos, Joao Gouveia, Luis Filipe Andrade, José
Luiz Fiadeiro: Managing Evolution in Telecommunication Systems.
DAIS 2001: 133-140 |
