 The
Core
|
|
José Luiz Fiadeiro:
Coordination Technologies for Just-in-time Integration.
LNCS 2422: (2003) |
|
Antónia Lopes, José Luiz Fiadeiro: Revisiting
the Categorical Approach to Systems. AMAST 2002: 426-440
|
|
Antónia Lopes, José Luiz Fiadeiro: Superposition:
Composition vs refinement of non-deterministic action-based systems.
ENTCS 70(3): (2002) |
|
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 |
Distribution
and Mobility |
|
Antónia Lopes, José Luiz Fiadeiro: On how Distribution and Mobility interfere with Coordination. LNCS:
(2003) |
|
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 |
|
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 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 |
|
Ana Moreira, Luis Filipe Andrade, José Luiz Fiadeiro: Evolving
Requirements through Coordination Contracts. CAiSE 2003:
633-646 |
|
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 |
|
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 |
