Perspectives of Systems Informatics

1. Front Matter

   PDF

2. Invited Talks

   1. Games, Interaction and Computation

      • Samson Abramsky

      Pages 1-1

   2. Rôle of Domain Engineering in Software Development—Why Current Requirements Engineering Is Flawed !

      • Dines Bjørner

      Pages 2-34

   3. Compositional and Quantitative Model Checking (Extended Abstract)

      • Kim G. Larsen

      Pages 35-42

   4. Invariants, Modularity, and Rights

      • Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark Hillebrand et al.

      Pages 43-55

   5. Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction

      • Lothar Thiele

      Pages 56-57

3. Regular Papers

   1. Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+

      • Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama

      Pages 58-69

   2. A Two-Level Approach for Modeling and Verification of Telecommunication Systems

      • Dmitry Beloglazov, Valery Nepomniaschy

      Pages 70-85

   3. SVM Paradoxes

      • Jean Beney, Cornelis H. A. Koster

      Pages 86-97

   4. Indexing Dense Nested Metric Spaces for Efficient Similarity Search

      • Nieves R. Brisaboa, Miguel R. Luaces, Oscar Pedreira, Ángeles S. Places, Diego Seco

      Pages 98-109

   5. On the Containment Problem for Queries in Conjunctive Form with Negation

      • Victor Felea

      Pages 110-123

   6. Towards a Scalable, Pragmatic Knowledge Representation Language for the Web

      • Florian Fischer, Gulay Unel, Barry Bishop, Dieter Fensel

      Pages 124-134

   7. An Experiment with the Fourth Futamura Projection

      • Robert Glück

      Pages 135-150

   8. Extracting the Essence of Distillation

      • G. W. Hamilton

      Pages 151-164

   9. Establishing Linux Driver Verification Process

      • Alexey Khoroshilov, Vadim Mutilin, Alexander Petrenko, Vladimir Zakharov

      Pages 165-176

   10. A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules

       • Dmitry Kichigin

       Pages 177-184

   11. A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols

       • Andrei V. Klimov

       Pages 185-192

   12. Proving the Equivalence of Higher-Order Terms by Means of Supercompilation

       • Ilya Klyuchnikov, Sergei Romanenko

       Pages 193-205

   13. Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams

       • Jens Kohlmeyer, Walter Guttmann

       Pages 206-217

   14. Applicability of the BLAST Model Checker: An Industrial Case Study

       • Emanuel Kolb, Ondřej Šerý, Roland Weiss

       Pages 218-229

This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15–19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between di?erent communities whose - searchareasarecoveredbybutnotlimitedtofoundationsofprogramandsystem development and analysis, programming methodology and softwareengineering, and information technologies. PSI 2009 was dedicated to the memory of a prominent scientist, academician Andrei Ershov (1931–1988),and to a signi?cant date in the history of computer science in the country, namely, the 50th anniversary of the Programming - partment founded by Andrei Ershov. Initially, the department was a part of the Institute of Mathematics and later, in 1964, it joined the newly established Computing Center of the Siberian Branch of the USSR Academy of Sciences. Andrei Ershov, who was responsible for forming the department, gathered a team of young graduates from leading Soviet universities. The ?rst signi?cant project of the department was aimed at the development of ALPHA system, an optimizing compiler for an extension of Algol 60 implemented on a Soviet c- puterM-20. Later,theresearchersofthedepartmentcreatedtheAlgibr,Epsilon, Sigma, and Alpha-6 programming systems for the BESM-6 computers. The list of their achievements also includes the ?rst Soviet time-sharing system AIST-0, the multi-language system BETA, research projects in arti?cial intelligence and parallel programming, integrated tools for text processing and publishing, and many others.

• Constraint
• Debugging
• Java
• Linux
• approximation
• aspect-oriented programming
• automated test generation
• classification
• component-based systems
• constraint programming
• constraint solving
• modeling
• testing
• theoretical computer science
• verification

• (1941-2009), The Weizmann Institute of Science, Rehovot, Israel New York University, NY, USA

  Amir Pnueli

• Siberian Division of the Russian Academy of Sciences, A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia

  Irina Virbitskaite

• Department of Computer Science, University of Manchester, Manchester, UK

  Andrei Voronkov

Policies and ethics