Computational Logic Systems and Environments |
Network Activities
|
Short reports
|
Events
|
Contents1. CDB 2002 / ITCLS 2002 - CoLogNET Workshop
|
|
CDB 2002 / ITCLS 2002 - CoLogNET Workshop Manuel Carro Technical University of Madrid Madrid, 19-20 September 2002
|
|---|
|
Abstract This report describes summarily some data about the First CoLogNET workshop on Component-based Software Development and Implementation Technology for Computational Logic Systems, held in Madrid during 19-20 September 2002, and collocated with SAS, LOPSTR, and AGP. As part of the yearly activities of the Area 3 (Implementation Technology for Computational Logic Systems and Components-based Software Development) of the CoLogNET1 project, a joint workshop (CBD 2002 / ITCLS 2002) was held in Madrid, aliated with LOPSTR (the 11th International Workshop on Logic-based Program Development and Transformation) and collocated with SAS'02 (the 9th International Static Analysis Symposium) and AGP'02 (Joint Conference on Declarative Programming) . All of these conferences and workshops together made the week a really exciting week full of interesting events. More information on these events is available at the conference set web site2. Focusing on the CoLogNET workshop, researchers and practitioners interested in the marriage between component based software development and computational logic, and in the implementation of computational logic systems (in a broad sense) were invited to submit papers and get together in a friendly and lively ambient on September 19th and 20th, 2002. More papers than initially expected were submitted, which forced the organized to discard some of them and to squeeze the rest in the time allotted for the workshops. Besides refereed papers, a few well known researchers were contacted by the workshop organizers, and gave very interesting talks in the workshop sessions, and also plenary invited talks which were shared (and, we think, much appreciated) with the rest of the collocated conferences. Fifteen talks were scheduled as part of the workshop sessions, ve of which were delivered by invited speakers. All the papers accepted at the workshop are collected in the proceedings, a 195 page volume which was handed to the people who registered for the workshop. The proceedings were edited by Manuel Carro, Claudio Vaucheret, and Kung-Kiu Lau, and published by the Computer Science School3 of the Technical University of Madrid (UPM)4. We will rst detail the invited talks, and then comment on some of the topics discussed in the papers presented at the workshop. Robert Hall (AT&T research Labs) was invited by CoLogNET to give a talk which was shared with SAS, AGP, and LOPSTR. His talk, entitled Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges shown how traditional requirement engineering falls short when considering systems where different agents have conflicting intentions and goals (which, taken as a whole, can even be inconsistent), and partial knowledge of other agents' beliefs and aims. He then sketched a model which aims at addressing the design of such a system by expressing the behavior of each agent and then assembling them using a combination of high-level tools and mechanisms, such as automatic theorem proving, model checking, etc. Antonio Brogi (University of Pisa) opened the component-based development track on Thursday with his talk Systematic Component Adaptation, in which he presented a methodology for adapting components whose behaviors do not match exactly. The core idea is the generation of intermediate entities, adaptors, which act as glue between components. The specification of these adaptors is generated from that of the (mismatched) component interfaces, and the adaptor itself is derived from its specification. Kung-Kiu Lau (University of Manchester) gave a talk on A Priori Reasoning for Component-based Software Development. The core idea is to use component specications to reason about its compositions before the composition proper takes place, or is even considered at the level of implementation / library of components. This reasoning allows making sure about the correctness (and other properties) of the composition of components. His presentation addressed the very relevant topic of interface and behavior specication and the property of steadfastness, as the one which ensures that a component is correct in every instance and specializations of the context in which the component is defined. Michael Fisher (University of Liverpool) opened the track on implementation technology for computational logic systems on Friday with a profound and enlightening presentation titled Implementing Temporal Logics: Tools for Execution and Proof. He reviewed the key concepts and applications behind temporal logic, highlighting the relationship with other, perhaps more widely known, logics (e.g., first order and higher-order logic). He gave interesting insights into the difficulties of solving problems with (e.g., proving theorems within) temporal logic, even when only the propositional case is considered. Enrico Pontelli (New Mexico State University) managed to squeeze what could be considered as a tutorial on Answer Set Programming (ASP) and its parallel implementation in half an hour. ASP initially devised as a strategy for dealing with negation, and then evolved as a general approach to logic programming in which rules are seen as constraints on sets. He reviewed the basic concepts and application areas of ASP and then he moved on to show different strategies for the parallel implementation of Answer Set-based programs. He then reviewed and commented speedup results experimentally obtained, pointing out the diculties found, unexpected results which showed up during implementation and evaluation, and paths for future research. Michel Vanden Bossche (Mission Critical) delivered a speech entitled Logic Programming for Industrial Software Engineering. In this talk he reviewed the reasons which lead him to believe that Computational Logic in general and Logic Programming (LP) in particular can play an important role in Software Engineering, and he showed, with a practical case, the advantages obtained using a LP-based language (Mercury, in his case) in a real software implementation. Other ten contributed papers focused on many interesting topics such as components and the B method, approaches to reuse open-source software, the definition of domain-specific languages for component definitions and their interaction, polyhedrons encoding for (analysis of) constraint-based languages, java-based deduction engines with academic purposes, and preliminary results on the compilation of Prolog to C. Around seventy ve people registered for the workshop. Attendance for the sessions was somewhat lower since the event run in parallel with SAS. The presentations were followed by discussions in which many interesting questions were raised. Unfortunately, time constraints did not allow longer discussions. The call for papers and the workshop program can be found at the workshop site5, which is being restructured in order to store (pointers to) future editions of the workshop. The workshop was organized by the following people:
The workshop organizers want to thank the organization of the shared event SAS-LOPSTR-AGP the facilities given for the celebration of the workshop, and also the following institutions for their support:
2 http://clip.dia.fi.upm.es/SAS-LOPSTR-AGP/ 5 http://clip.dia.fi.upm.es/CoLogNET-WS/ 6 http://www.cwi.nl/projects/alp/
|