Getting large, heterogeneous, dynamic service-oriented systems right is very difficult, because of their inherent complexity which challenges our current understanding and methods. This may explain the proliferation of ad-hoc methods, semi-formal notations and technology-dependent solutions to service-oriented architectures. This state of affairs gets worse when bringing self-adaptability into the picture, for which even effective technological realisations are still lacking. On the other hand, however, a few other topics may have similar relevance in Computer Science research for the years to come.

Vision

Architectural descriptions and coordination models were born within different contexts, concerns and typical application domains. The former emerged as a proper discipline in Software Engineering, from the need to explicitly consider, in the development of increasingly bigger and more complex systems the effects, problems and opportunities of the system’s overall structure, organisation and emergent behaviour. The latter appeared as a solution to the problem of managing interaction among concurrent activities in a system. For the last 15 years, the emergence of massive concurrent, heterogeneous systems and the growing complexity of interaction protocols has brought coordination to a central place in software development.

Such development contributed to broadening its scope of application and entailed the development of a number of specific models, languages and semantics, which contrasts to the fact that, despite remarkable progress in the representation and use of software architecture, specification of architectural designs remain, at present, largely informal. Typically, they rely on graphical notations with poor semantics, and often limited to express only the most basic structural properties.

Our starting point is that time is mature to go deep in developing a proper theory of architectural patterns, encompassing a semantics and a calculus, building on the lessons learnt from research on coordination. Moreover this seems fundamental to provide solid foundations to service-oriented design. Services and service configurations appear naturally equipped with both constructor and 'destructor' operations (the latter also called observers), requiring both structural (algebraic) and behavioural (coalgebraic) notions of semantic equivalence and refinement. We propose dialgebras, parametric on a notion of behaviour (eg, a simulation relation), as a basic model for such an a calculus of architectural patterns. Suitable logics and models will be investigated.

On the other hand, a number of operational characteristics of services (eg loss and acquisition of interaction capabilities or self-repairing mechanisms), are hard to represent at levels of abstraction high enough to still provide a rich set of calculational properties. The project seeks for suitable strategies for capturing their semantics and propose suitable reasoning tools.

Tasks

Task 1: behavioural requirements certification

Task 2: coordination patterns

Task 3: dynamic reconfiguration & self-adaptability

Task 4: code validation/generation from coordination patterns

Task 5: Foundations (dialgebras, logics, ...)

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

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.

Project Publications

Journal papers

[CH11] Maria Manuel Clementino and Dirk Hofmann, On the completion monad via the Yoneda embedding in quasi-uniform spaces, accepted for publication in Topology Appl., 2011.

[HW11] Dirk Hofmann and Pawel Waszkiewicz, Approximation in quantale-enriched categories, Topology Applications, 158 (8), pp 963–977, 2011.

[HS11] Dirk Hofmann and Isar Stubbe, Towards Stone duality for topological theories, Topology Applications, 158 (7), pp 913–925, 2011.

[RB10] Rodrigues, N. F. and Barbosa, L. S., Slicing for Architectural Analysis, Science of Computer Programming, 75 (10), pp 828-847, Elsevier, 2010.

Conference papers

[MMDB11] M. A. Martins, A. Madeira, R. Diaconescu and L. S. Barbosa, Hybridization of institutions, accepted for publication at Proc. of Fourth International Conference on Algebra and Coalgebra in Computer Science (CALCO 2011). Winchester, UK, 30 August - 2 September, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2011.

[MBR11] A. Martins, L. S. Barbosa and N. F. Rodrigues, SHACC: A functional animator for a component calculus, accepted for publication at Proc. of CALCO-Tools. WInchester, UK, 30 August - 2 September, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2011.

[MMB11b] A. Madeira, M. A. Martins and L. S. Barbosa, Models as arrows: the role of dialgebras, accepted for publication at Proc. of the Conference on Computability in Europe: Models of Computation in Context (CiE? 2011). 27 June - 2 July 2011.

[MMB11] M.A. Martins, A. Madeira and L. S. Barbosa, Reasoning about complex requirements in a uniform setting accepted at Third International Congress on Tools for Teaching Logic, Universidad de Salamanca, 1-4 June, 2011.

[MFMB11] A. Madeira, J. M. Faria, M. A. Martins, L. S. Barbosa, On requirements engineering for reactive systems: A formal methodology accepted for publication in Proc. I Brazilian Conference on Critical Embedded Systems, University of S. Paulo, Brazil, May 11th - 13th, IEEE Computer Society, 2011

[CO11] Mu, Shin Cheng and Oliveira, Jose, Programming from Galois Connections, Proc. of the 12th Int. Conf. on Relational and Algebraic Methods in Computer Science (RAMiCS 12), Springer Lecture Notes in Computer Science, vol 6663, pp 294-313, Springer Verlag, 2011.

[BBR10] Barbosa, L. S. and Barbosa, M. A. and Rodrigues, C.J., Revisiting context-aware component interconnection, Proceedings of 12th SYNASC, Timisoara, Romania, pp 377-384, IEEE Computer Society, 2010.

[MO10b] Macedo, Hugo and Oliveira, Jose, Towards Linear Algebras of Components, Proc. of FACS 2010, 7th International Workshop on Formal Aspects of Component Software, Guimaraes, Portugal, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2010.

[DMM10] L. Descalço, A. Madeira and M. A. Martins. Applying abstract algebraic logic to classical automata theory: an exercise, Proc. of the 6th Conference on Computability in Europe: Programs, proofs, processes (CiE 2010). Eds. F. Ferreira, H. Guerra, E. Mayordomo and J. Rasga, Azores, Portugal, 146-157, 2010.

[BM10] Barbosa, L. S. and Sun, M., QoS-aware Component Composition, CISIS 2010, Proc. The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, pp 1008-1013, IEEE Computer Society, 2010.

[MB10] Sun Meng and Barbosa, L. S., Towards the introduction of QoS information in a component model, Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, pp 2045-2046, ACM Pub, 2010.

[MO10] Macedo, Hugo and Oliveira, Jose, Matrices as Arrows!, Proc of 10th Int. Conf. on Mathematics of Program Construction, Springer Lecture Notes in Computer Science, vol 6120, pp 271-287, Springer Verlag, 2010.

Thesis and dissertations

[Alb10] H. C. Albuquerque, Propositional Logic via Lindenbaum-Tarski and Curry-Howard, MSc thesis in Mathematics and Applications, Aveiro University, 2010.

.natRevision { width:0px; height:0px; overflow:hidden; }

.natBreadCrumbs { width:0px; height:0px; overflow:hidden; }

.avisos { color: #444; font-size:10px; }

.twikiToc { padding-top:0px; padding-bottom:0px; background: white; border-top:0px; border-bottom:0px; }

See also the faster WebTopicList

• TWikiGuest - example@your.company

Web Changes Notification Service

Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.

Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:

three spaces * [ webname . ] wikiName - SMTP mail address
three spaces * [ webName . ] wikiName
three spaces * SMTP mail address
three spaces * SMTP mail address : topics
three spaces * [ webname . ] wikiName : topics

In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:

• Specify topics without a Web. prefix
• Topics must exist in this web.
• Topics may be specified using * wildcards
• Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
• Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
• Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.

For example: Subscribe Daisy to all changes to topics in this web.

   * daisy.cutter@flowers.com

   * daisy.cutter@flowers.com: Web*

   * TWiki.DaisyCutter: Petal* (1) TWiki.WeedKillers (3) Pretty*Flowers

   * TWiki.StarTrekFan: Star* - *Wars - *sInTheirEyes - *shipTroopers

   * daisy@flowers.com: TWiki.NewsLetter?

   * buttercup@flowers.com: TWiki.NewsLetter! (1)

   * TWiki.GardenGroup: TWiki.AllNewsLetters? (3)
   * petunia@flowers.com: - TWiki.ManureNewsLetter

If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.

Tip: List names in alphabetical order to make it easier to find the names.

Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.

Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.

Related topics: WebChangesAlert, TWikiUsers, TWikiRegistration

Warning

Can't INCLUDE TWiki.WebSearchAdvanced repeatedly, topic is already included.

Statistics for Research/MONDRIAN Web

Notes:

• Do not edit this topic, it is updated automatically. (You can also force an update)
• TWikiDocumentation tells you how to enable the automatic updates of the statistics.
• Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.

• 2ndWorkshop
• Description
• Jobs
• News
• ProjectSummary
• Publications
• Team
• WebAtom
• WebChanges
• WebCss
• WebHome
• WebIndex
• WebLeftBar
• WebNotify
• WebPreferences
• WebRss
• WebSearch
• WebSearchAdvanced
• WebSideBar
• WebStatistics
• WebTopicCreator
• WebTopicList

See also the verbose WebIndex.