Call for Papers and Participation and Relevant Information
COLOGNET Joint Workshop on
Component-based Software Development
and
Implementation Technology for Computational Logic Systems
Affiliated with LOPSTR 2002
19 - 20 September 2002, Madrid, Spain
COLOGNET, the European Network of Excellence in
Computational Logic
is organizing a
workshop on two of its workpackages: Component-based Software
Development (CBD) and Implementation Technology for Computational
Logic Systems (ITCLS). This joint workshop will be collocated with
SAS/LOPSTR/AGP.
The aim of the workshop is to present and discuss current research
issues, both in academia and industry. The joint workshop will be
organized in two tracks:
The goal of this session is to examine the process of component-based
software development in all phases of the development life-cycle
(i.e., specification, design, composition, testing, deployment).
Special emphasis will be placed on the use of Computational Logic
throughout the process. A non-exhaustive list of topics includes:
- Methodological foundation of component-based software development.
- Modeling of component-based systems.
- Tools supporting component-based development.
- Integration of the component paradigm into existing environments.
- Component testing, verification, distribution, maintenance.
- Combination of heterogeneous component technologies.
- The role of Computational Logic in all the above.
- Industrial experience reports.
This session is intended to be a continuation of the series of
workshops on Implementations of Logic Programming Systems held in the
context of COMPULOG NET, the former Network of Excellence in
Computational Logic. But, in contrast to the COMPULOG area meetings
on implementation, which were rather centered toward logic and
constraint logic programming systems, the target of this workshop is
broader: it includes implementation technology for other areas which
are part of the COLOGNET network. The aim is to bring together
researchers from fields such as automated reasoning, natural language
processing, constraint logic programming, model checking, etc., in
order to share common problems and solutions regarding implementation
issues which arise in the logic-based systems arena.
Suggested topics of interest for the implementation workshop include,
but are not limited to:
- Implementation of resolution and model elimination theorem provers.
- Implementation for non-monotonic reasoning systems and semantics.
- Implementation of higher-order, linear, etc. logics.
- Implementation techniques for natural language processing.
- Standard and non-standard sequential implementation schemes for
constraint logic programing languages (e.g., generalization /
modification of WAM, translation to C, etc.)
- Memory management and garbage collection issues.
- Implementation of concurrency and parallelism in logic-based
languages.
- Extensions to the Warren Abstract Machine. Term indexing.
The workshop programme will consist of invited talks and accepted
papers. Invited talks include the following:
Robert Hall, AT &
T: Open Modeling in
Multi-stakeholder Distributed Systems: Research and Tool Challenges
for Requirements Engineering, Formal Methods, and Automated Software
Engineering.
Robert Hall does research on Automated Software Engineering,
particularly in making networked services and components secure,
reliable, and scalable.
- Antonio Brogi, University of Pisa: Component Adaptation.
- Kung-Kiu Lau, University of Manchester: A Priori Reasoning
for CBD.
- Michael Fisher, University of Liverpool: Implementing
Temporal Logics: Tools for Execution and Proof.
- Enrico Pontelli, New Mexico State University: Parallelism
and New Generation Logic Programming Systems.
Submissions and Deadlines
Authors are invited to contribute to the programme by submitting
extended abstracts (6 pages maximum) or full papers (12 pages maximum)
on the workshop themes. Limits are strict, and the llncs format
(http://www.springer.de/comp/lncs/authors.html) must be used.
Submissions are to be sent to the organizing committee by emailing
them to:
Submission deadline |
July 26 |
Notification to authors |
August 5 |
Camera-ready copies |
September 5 |
Workshop |
September 19-20 |
Informal proceedings will be available at the workshop.
Organizing Committee
-
- Antonio
Brogi, University of Pisa, Italy .
-
- Manuel
Carro, UPM, Madrid, Spain.
-
- Shui Ming Ho,
University of Manchester, UK.
-
- Kung-Kiu
Lau, University of
Manchester, UK.
-
- Mario Ornaghi,
University of Milan, Italy.
-
- German
Puebla, UPM, Madrid, Spain.
-
- Claudio
Vaucheret, UPM, Madrid, Spain.
Below are the accepted papers for the two tracks, and the planned
schedule. Relevant changes on it will be promptly announced both in
this page, to the workshop participants, and at the conference site
itself.
Wednesday, 18
- 9:00 - 10:00
- Robert Hall: Open Modeling in
Multi-stakeholder Distributed Systems: Research and Tool
Challenges for Requirements Engineering, Formal Methods, and
Automated Software Engineering.
Thursday, 19
- 14:30 - 15:00
- Antonio Brogi: Component Adaptation.
- 15:00 - 15:30
- Kung-Kiu Lau: A Priori Reasoning for CBD.
Coffee Break
- 16:00 - 16:20
- A. Ramdane-Cherif, L. Hazem, N. Levy:
Knowldege Repository Concerning Architectural Styles for
Building Component-based Systems.
- 16:20 - 16:40
- Dorian Petit, Vincent Poirrier, Georges Mariano:
Development of Formal Components Using the B Method.
- 16:40 - 17:00
- Markus Won, Armin B. Cremers: Supporting End-User
Tailoring of Component-Based Software-Checking Integrity of
Compositions.
- 17:00 - 17:20
- Manuel Carro: The Amos Project.
Coffee Break
- 17:30 - 17:50
- Gopal Gupta: A Language-centric Approach to
Software Engineering: Domain Specific Languages Meet Software Components.
- 17:50 - 18:10
- S. M. Ho: Toward a Framework Constraint
Language.
- 18:10 - 18:30
- Hans-Gerhard Groß: Built-in Contract Testing in
Component-based Application Engineering.
Friday, 20
- 12:00 - 12:30
- Michael Fisher: Implementing Temporal
Logics: Tools for Execution and Proof.
- 12:30 - 13:00
- Enrico Pontelli: Parallelism and New
Generation Logic Programming Systems.
Lunch
- 14:30 - 14:50
- Roberto Bagnara, Patricia M. Hill, Enea
Zaffanella: A New Encoding of Not Necessarily Closed Convex
Polyhedra.
- 14:50 - 15:10
- Bruce Spencer: The Design of j-Drew: a
Deductive Reasoning Engine for the Web.
- 15:10 - 15:30
- José F. Morales, Manuel Carro: Preliminary
report on Using Type Information in a Prolog to C Compiler.
Coffee Break
- 16:00 - 16:30
- Michel Vanden Bossche, Kung-Kiu Lau:
Computational Logic for Industrial Software Engineering.