April 5 - 13, 2003, Warsaw, Poland

 

Conference Description

Large scale Information and Communication Infrastructures are of growing concern to industry and public organizations. They are expected to exist indefinitely long, are supposed to be flexibly adjustable to new requirements and are hence demanded to encompass evolvable software systems. Quality is increasingly important in classic as well as new application domains. This poses new challenges to software engineering research and practice: new software structuring and scaling concepts are needed for heterogeneous software federations that consist of numerous autonomously developed, communicating and inter-operating systems; new software development processes are needed to enable the continuous improvement and extension of heterogeneous software federations.  New quality assurance methods are needed to guarantee acceptable standards of increasingly complex software applications.
Different component paradigms are under discussion now, a large number of specification and modeling language are proposed and an increasing number of software development tools and environments are made available to cope with the problems. At the same time research on new theories, concepts and techniques is under way that aims at the development of their precise and (mathematically) formal foundation.
Contributions are encouraged that aim at both pragmatic concepts and their formal foundation that can lead to new engineering practices and a higher level of reliability robustness and evolvability of heterogeneous software federations. Especially sought are submissions on:
  • Component-based software architectures: design methods and strategies, design patterns, quality assurance
  • Integration platforms and middleware systems for large scale heterogeneous software federations
  • Requirements engineering: techniques for acquiring, modeling, specifying and analyzing software components 
  • Mobile computing and distributed and mobile applications: design issues, dynamic languages and application architectures, quality assurance
  • Testing, Analysis and Verification: algorithms, techniques, and processes concerned with assuring, developing, or assessing software with respect to requirements or goals
  • Measurement, Metrics, Experimentation: Integration of metrics gathering and evaluation into processes. Experimental paradigms for software research. Integration of multiple metrics
  • Integration of formal concepts and current best practices concepts in industrial software development 
  • Experience reports on best practices with component models and specifications, development tools, modeling environments, and software development kits
==============================================================================

Programme Committee

    Luciano Baresi (Italy)
    Andrea Corradini (Italy)
    Hartmut Eherig (Germany)
    José Fiadeiro (Portugal)
  Istvan Forgàs (Hungary)
    Marie-Claude Gaudel (France)
    Heinrich Hußmann (Germany)
    Mehdi Jazayeri (Austria)
    Lee Osterweil (USA)
    Mauro Pezzè (Milan, Italy), pezze@disco.unimib.it PROGRAM CHAIR
    Gianna Reggio (Italy)
    Richard Taylor (USA)
  Andy Schürr (Germany)
    Roel Wieringa (The Netherlands)

Invited Speaker

    Michal Young, University of Oregon (USA)

 

Program

Wednesday, April 9:

10.30 - 12.30:

FASE: Software Components

  • An Ontology for Software Component Matching
    Claus Pahl (Dublin City University, IRL)
  • A Description Language For Composable Components
    Ioana Sora, Pierre Verbaeten, Yolande Berbers (Katholieke Universiteit Leuven, B)
  • A Logic Basis for the Specification of Reconfigurable Component-Based Systems
    Nazareno Aguirre, Tom Maibaum (King's College, London, UK)
  • An Overall System Design Approach doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems
    Clemens Reichmann (University of Karlsruhe, D), Markus Kühl (Research Center for Information Technology, Karlsruhe, D), Klaus D. Müller-Glaser (University of Karlsruhe, D)

17.15 - 18.45:

FASE: Mobile Computing

  • Composing Specifications of Event Based Applications?
    Pascal Fenkam, Harald Gall, Mehdi Jazayeri (Technical University of Vienna, A)
  • A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
    Stephan Merz (INRIA Lorraine, F), Martin Wirsing, Julia Zappe (Universität München, D)
  • Spatial Security Policies for Mobile Agents in a Sentient Computing Environment
    David Scott, Alastair Beresford, Alan Mycroft (University of Cambridge,UK)


Thursday, April 10:

10.30 - 12.30:

FASE: Aspect and Object Oriented Programming

  • Towards UML-based Formal Specifications of Component Based Real-Time Software
    Vieri Del Bianco, Luigi Lavazza (Politecnico di Milano and CEFRIEL, I), Marco Mauri, Giuseppe Occorso (Politecnico di Milano, I)
  • Modelling Recursive Calls with UML State Diagrams
    Jennifer Tenzer, Perdita Stevens (University of Edinburgh, UK)
  • Pipa: A Behavioral Specification Language for AspectJ
    Jianjun Zhao, Martin Rinard (Massachusetts Institute of Technology, USA)
  • Tool demo: PacoSuite & JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features
    Wim Vanderperren, Davy Suvée, Bart Wydaeghe (Vrije Universiteit Brussel, B)

15.45 - 16.45:

FASE: Distributed and Web Applications

  • Model-Based Development of Web Applications Using Graphical Reaction Rules
    Reiko Heckel, Marc Lohmann (University of Paderborn, D)
  • Modular Analysis of Dataflow Process Networks
    Yan Jin, Robert Esser, Charles Lakos (Adelaide University, USA), Jörn W. Janneck (University of California at Berkeley, USA)

17.15-18.45:

FASE: Sofware Measurements

  • Foundations of a Weak Measurement-Theoretic Approach to Software Measurement
    Sandro Morasca (Università degli Studi dell'Insubria, I)
  • An Information-Based View of Representational Coupling in Object-Oriented Systems
    Pierre Kelsen (Luxembourg University of Applied Sciences, L)

 

Friday, April 11:

09.00-10.00:

FASE invited lecture:

  • Symbiosis of Static Analysis and Program Testing
    Michal Young (Oregon University, USA)

10.30-12.30:

FASE: Formal Verification

  • A Temporal Approach to Specification and Verification of Pointer Data-Structures
    Marcin Kubica (Warsaw University, PL)
  • A Program Logic for Handling JAVACARD's Transaction Mechanism
    Bernhard Beckert (Universität Karlsruhe, D), Wojciech Mostowski (Chalmers University of Technology, S)
  • Monad Independent Computational Reasoning in HasCasl
    Lutz Schröder, Till Mossakowski (University of Bremen, D)
  • Visual Specifications of Policies and their Verification
    Manuel Koch (Frei Universität Berlin, D), Francesco Parisi-Presicce (Università di Roma, I, and George Mason University, USA)

14.30-16.00:

FASE: Analysis and Testing

  • Automatic Model Driven Animation of SCR Specifications
    Angelo Gargantini, Elvinia Riccobene (Università di Catania, I)
  • Probe Mechanism for Object-Oriented Software Testing
    Anita Goel, (University of Delhi, IND), S. C. Gupta (National Informatics Center, IND), S. K. Wasan (Jamia Millia Islamia, IND)
  • Model Checking Software via Abstraction of Loop Transitions
    Natasha Sharygina (Carnegie Mellon University, USA), James C. Browne (The University of Texas, USA)

16.30-18.30:

FASE: Model Integrations and Extensions

  • Integration of Formal Data Types within State Diagrams
    Christian Attiogbe, Pascal Poizat, Gwen Salaiin (Universite de Nantes, F)
  • Xere: Towards a Natural Interoperability between XML and ER Diagrams
    G. Della Penna, A. Di Marco, B. Intrigila, I. Melatti, A. Pierantonio (Universita' degli Studi dell'Aquila, I)
  • Detecting Implied Scenarios Analyzing Non-Local Branching Choices
    Henry Muccini (Università degli Studi dell'Aquila, I)
  • Capturing Overlapping, Triggered and Preemptive Collaborations Using MSCs
    Ingolf H. Krüger (University of California, San Diego, USA)

18.30 - 18.45:

closing session