http://www.operationalsemantics.net/behaviouralwiki/ 2026-08-01T15:52:01+02:00 http://www.operationalsemantics.net/behaviouralwiki/ http://www.operationalsemantics.net/behaviouralwiki/lib/images/favicon.ico text/html 2011-09-12T11:22:51+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=cost-background&rev=1315819371&do=diff The following refers to the draft text of the COST proposal. Important Facts Minimum of 5 countries - we have 7 for now (Denmark, France, Germany, Ireland, Italy, Portugal, U. K.) Deadline: September 30 Body of the proposal should have 10000 characters maximum (excluding title and abstract) text/html 2012-01-19T12:56:42+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=cost&rev=1326974202&do=diff BETTY: Behavioural types for reliable large-scale software systems Abstract Modern society is increasingly dependent on large-scale software systems that are distributed, collaborative and communication-centred. Software of this kind is very sensitive to undesired behaviour, ranging from security breaches to deadlocks and incompatibilities. These concerns have led to the emergence of mathematical frameworks for describing and reasoning about distributed software. One such framework is that of … text/html 2011-12-10T01:05:50+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=discussion&rev=1323475550&do=diff To take part in the discussion, write here. Please start your comments with your name, so that we can identify you. Hans: I think the COST forum could be used as a way for us to have another edition of the workshop and maybe turn it into a recurring event. What do you think? text/html 2012-01-27T16:21:02+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-abstract&rev=1327677662&do=diff Maximum 200 words, maximum 5 keywords or very short phrases General remark: Be very clear and precise as this section will form the basis for COST information – web site and booklets – and reporting. The Abstract should include the broader scientific context of the Action as well as the expected deliverables and benefits. It should also indicate the European added value of the Action and the reasons for undertaking it in the COST framework. text/html 2012-01-26T11:37:30+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-additional-experts&rev=1327574250&do=diff Two lists should be submitted. The first is a list of experts who have been consulted during the drafting of the proposal and who have already expressed interest in participating in the Action. The second list, if appropriate, covers those experts who may well be interested but who have not been contacted, or who have not yet replied, during the pre-proposal planning. text/html 2012-01-20T12:49:39+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-additional-history&rev=1327060179&do=diff The purpose of this section is to give the historical background of the proposal: how the idea of the COST Action was born and how the subsequent definition of the objectives and the pre-proposal planning was carried out. For several years, there had been increasing activity on the topic of behavioural types in distributed and service-oriented systems. There were several research groups as well as a number of more isolated researchers. Some links had developed between particular groups, but the… text/html 2012-01-25T12:47:52+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-additional-publications&rev=1327492072&do=diff In order to make it easier to assess the scientific merits of the proposal, you may wish to compile a short list of recent scientific publications relating to the topic of the Action. If desired, you could group all the publications authored or co-authored by you as a kind of scientific self-portrait. This should be a maximum of 2 pages. text/html 2012-01-27T00:00:12+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-additional-remarks&rev=1327618812&do=diff In this subheading you may add any information or remarks but also comment on the following assessment criteria as outlined in Annex B. * To what extent does the proposed network aim at involving early-stage researchers? * To what extent does the proposed network aim at being gender balanced? text/html 2012-01-26T20:40:28+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-additional-work&rev=1327606828&do=diff Especially if the proposal is very complex and based on participation of research teams from different fields of research interacting in a specific way, you may wish to explain how this has been envisaged, at a more concrete level than that indicated in the draft Technical Annex. text/html 2012-04-09T14:15:36+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-background&rev=1333973736&do=diff Maximum 2-3 pages B.1 General background Modern software systems operate on a large scale. They are distributed, collaborative and communication-centred, and are an essential part of the technological infrastructure of society. Many critical services are offered via the Internet and depend on other network technologies such as Clouds. These services include commercial operations such as banking, e-commerce, social networking and document sharing applications, as well as public-sector systems … text/html 2011-11-29T15:43:23+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-checklist&rev=1322577803&do=diff Before submitting your Full Proposal, please check it against the following items: * Confirming to the title page template given in the Template * Respecting the formatting guidelines * Respecting the indicated structure of the draft Technical Annex * Presenting the text in a logical way, avoiding unnecessary repetition between the different sections * Respecting the word limits * Language check * Spell check * Use of capital letters for COST-specific and Action-related … text/html 2012-01-25T11:38:43+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-dissemination&rev=1327487923&do=diff Maximum 2 pages H.1 Who? The results of this COST Action will be disseminated to the following target audiences: * Participants in the COST Action. * Researchers in related fields of computer science. * Software developers within the area of large-scale distributed systems. * Computing researchers and practitioners more generally. * The general public with an interest in technology. text/html 2012-01-27T07:20:56+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-economic&rev=1327645256&do=diff Maximum half page General remark: The purpose of this section is to provide an estimate of the total manpower expressed in person-years dedicated to the activities of the Action for each year and the total duration of the Action (The maximum would therefore normally be 10 person-years per country, in the case that 2 persons on the MC and 2 on each of 4 WGs from that country all work full time on COST.) An average of 100.000 € per scientist including overhead can normally be used as basis for th… text/html 2012-01-27T15:52:39+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-objectives&rev=1327675959&do=diff Maximum 2 pages C.1 Aim The aim of the Action is to extend and co-ordinate European research activities on the theory and application of behavioural types for the development and runtime management of concurrent and distributed systems with formal safety assurance over a wide range of properties, resulting in the large-scale experiments and deployment of programming languages and tools based on behavioural type systems. text/html 2012-01-26T23:42:42+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-organisation&rev=1327617762&do=diff Maximum 2 pages General remark: You need not reiterate organisational features common for all COST Actions, described in the “Rules and Procedures for Implementing COST Actions” (doc. COST 4159/10). As a rule, organisational matters should be mentioned only if you intend to apply them in some specific way. In order to avoid unnecessary repetitions or contradictions, please refer to Rules and Procedures when drafting this section. text/html 2012-01-27T15:21:21+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-programme&rev=1327674081&do=diff Maximum 3-4 pages D.1 Scientific focus * Describe the most important research tasks to be coordinated by the Action. * Provide a structured, but not too detailed work plan flexible enough to permit the inclusion, at the implementation stage, of disciplinary perspectives and activities not foreseen during the preparation of the proposal. Keep the framework of the Action open and flexible. text/html 2012-01-26T23:47:01+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost-timetable&rev=1327618021&do=diff Maximum half page * Give a clear picture of the timescale of the Action and an explicit estimate of the total duration of the Action, preferably in the first paragraph. (This estimate will be quoted in the Memorandum proper and will determine the period for which the MoU enters into force.) text/html 2012-01-30T11:42:59+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=fullcost&rev=1327920179&do=diff The Final Submission [Here is the final version] of the full proposal, submitted on 27th January. It is not exactly the same as the latest version in the wiki, because some last-minute changes went only into the online COST application form. Thank you very much to all those who helped. --Simon. text/html 2014-01-27T19:02:18+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=horizonidea&rev=1390845738&do=diff Those that have expressed interest in this include researchers from at least the following institutions: * Aalborg University (Hans Hüttel) * University of Glasgow (Simon Gay) * University of Leicester (Emilio Tuosto) * University of Bologna (Mario Bravetti) * New University of Lisbon (António Ravaria) * University of Dortmund (Jakob Rehof) * University of Turin (Ugo de'Liguoro) text/html 2014-02-07T19:22:02+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=horizonideatwo&rev=1391797322&do=diff * Laura Bocchi * Ilaria Castellani * Romain Demangeon * Mariangiola Dezani * Cinzia Di Giusto * Luca Padovani * Jorge A. Pérez Modern computing infrastructures involve massive numbers of heterogeneous computing entities, which intensively communicate over open networks and have varying levels of trust. Cloud computing and social networks are typical examples of these infrastructures. In such a communication-centred setting, interactive behavior can be usefully structured as a prot… text/html 2012-01-05T11:55:26+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=interests&rev=1325760926&do=diff * creating services (or stubs of services) out of high level specification * designing a dataflow/information flow specification language for services, wich would calculate what possible information flow there can be between different services * support service mobility - eg a user (or a policy) may determine which site will execute the service * support evolution of the services, i.e. the services may be changed while the services are running text/html 2013-06-19T21:34:28+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=march2013-report&rev=1371670468&do=diff \documentclass[a4paper,article]{memoir} \title{WG: The Foundations of Behavioural Types} \author{The BETTY contributors (Compiled by Hans H\”{u}ttel)} \begin{document} \maketitle \chapter{The main research areas} We here identify 2 main strands of work: text/html 2014-02-21T11:04:47+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=start&rev=1392977087&do=diff This wiki site is for internal discussion among BETTY members. The public BETTY web site, with up-to-date information about activities, is www.behavioural-types.eu. If you need to become an editor of this site, contact Simon Gay, António Ravara or Hans Hüttel. We need your full name and your e-mail address. text/html 2013-03-14T22:46:55+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=topics_for_24_march&rev=1363297615&do=diff An important goal of the BETTY meeting on 24 March is to obtain an overview of current research and to find out how to best collaborate within the network based on this overview. Each WG1 member is encouraged to add up to 3 references (BibTeX format) to publications about foundational work on behavioural types that you think should be in our joint bibliography of important papers. Please also write a few lines about why you think this paper should be included and identify the theme. The papers… text/html 2013-09-20T17:11:24+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=wg1-foundations&rev=1379689884&do=diff Members Hans Hüttel and Vasco Vasconcelos (co-chairs) Ivan Lanese (vice-chair) Bogdan Aman, Davide Ancona, Franco Barbanera, Massimo Bartoletti, Giovanni Bernardi, Michele Boreale, Johannes Börgstrom, Mario Bravetti, Roberto Bruni, Marzia Buscemi, Luís Caires, Marco Carbone, Giuseppe Castagna, Ilaria Castellani, Gian Luca Cattani, Samir Chouali, Gabriel Ciobanu, Mario Coppo, Ugo de’Liguoro, Mariangiola Dezani-Ciancaglini, Pietro Di Gianantonio, Cinzia Di Giusto, Adrian Francalanza, Simon Gay… text/html 2013-07-25T12:46:18+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=wg1_2013_bibliography&rev=1374749178&do=diff Publications after 26th October 2012 [1,2,4] @InProceedings{ vieira.vasconcelos:typing-progress-communication-centred-systems, author = {Hugo Torres Vieira and Vasco T. Vasconcelos}, title = {COORDINATION 2013}, booktitle = {7th International Symposium on Trustworthy Global Computing}, pages = {236--250}, year = 2013, volume = 7890, series = LNCS, publisher = SPRINGER, url = {http://www.di.fc.ul.pt/~vv/papers/vieira.vasconcelos_typing-progress-communication-centred-systems.pdf} } text/html 2013-06-21T10:15:40+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=wg1_report_2013&rev=1371802540&do=diff WG1 report 2013 (current draft) 1. Calculus, language, model 2. Typing 3. Subtyping, refinement, projection 4. Liveness (progress in particular) 5. Logic (linear, design by contract, etc) 6. Exceptions, events 7. Equivalences, expressiveness, embeddings 8. Algorithms text/html 2013-10-08T16:15:42+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=wg2-security&rev=1381241742&do=diff Members Ilaria Castellani (chair) Hugo Vieira (vice-chair) Bogdan Aman, Viviana Bono, Michele Boreale, Luís Caires, Sara Capecchi, Marco Carbone, Gabriel Ciobanu, Mario Coppo, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Cinzia Di Giusto, Tihana Galinac Grbac, Simon Gay, Silvia Ghilezan, Hans Hüttel, Jelena Ivetic, Svetlana Jaksic, James Leifer, Luigi Liquori, Aleksandra Mileva, Luca Padovani, Jovanka Pantovic, Jorge Perez, Simona Ranauskaite, Davide Sangiorgi, João Seco, Vaclovas S… text/html 2013-10-08T16:03:26+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=wg2bibtex&rev=1381241006&do=diff @article{DHS12, author = {Mariangiola Dezani-Ciancaglini and Ross Horne and Vladimiro Sassone}, title = {Tracing where and who provenance in Linked Data: A calculus}, journal = {Theor. Comput. Sci.}, volume = {464}, year = {2012}, pages = {113-129}, ee = {http://dx.doi.org/10.1016/j.tcs.2012.06.020}, bibsource = {DBLP, http://dblp.uni-trier.de} } text/html 2013-09-25T11:50:34+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=wg3-languages&rev=1380102634&do=diff Members Giuseppe Castagna (chair) Luca Padovani (vice-chair) Viviana Bono, Mario Bravetti, Luís Caires, Sara Capecchi, Gian Luca Cattani, Ugo de'Liguoro, Mariangiola Dezani-Ciancaglini, Cinzia Di Giusto, Adrian Francalanza, Tihana Galinac Grbac, José Daniel Garcia, Simon Gay, Elena Giachino, Marco Giunti, Hans Hüttel, Vasileios Koutavas, Cosimo Laneve, Luigi Liquori, Cveta Martinovska, Rafael Mayo Garcia, Fabrizio Montesi, Dimitris Mostrous, Jorge Perez, José Quesada, Julian Rathke, António … text/html 2013-10-15T23:43:25+02:00 http://www.operationalsemantics.net/behaviouralwiki/doku.php?id=wg4-tools&rev=1381873405&do=diff Members Thomas Hildebrandt (chair) Nikolaos Sismanis (vice-chair) Cesare Accomazzo, Marco Aldinucci, Davide Ancona, Gary Brown, Viviana Bono, Luís Caires, Marco Carbone, Gian Luca Cattani, Grazvydas Felinskas, Vaidas Giedrimas, Tihana Galinac Grbac, Simon Gay, Marco Giunti, Thomas Hildebrandt, Furio Honsell, Georgia Kapitsaki, Cosimo Laneve, Marina Lenisa, Cveta Martinovska, Viviana Mascardi, Rafael Mayo Garcia, Fabrizio Montesi, Jorge Perez, António Ravara, Jakob Rehof, Steve Ross-Talbot, I…