Perspectives of Systems Informatics

1. Front Matter

   PDF

2. Invited Papers

   1. Separability in Conflict-Free Petri Nets

      • Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf

      Pages 1-18

   2. Grand Challenges of System Programming

      • Victor Ivannikov

      Pages 19-19

   3. Specifying and Verifying Programs in Spec#

      • K. Rustan M. Leino

      Pages 20-20

   4. Basic Protocols: Specification Language for Distributed Systems

      • Alexander Letichevsky

      Pages 21-25

   5. Why Automata Models Are Sexy for Testers? (Invited Talk)

      • Alexandre Petrenko

      Pages 26-26

3. Regular Papers

   1. An Universal Resolving Algorithm for Inverse Computation of Lazy Languages

      • Sergei Abramov, Robert Glück, Yuri Klimov

      Pages 27-40

   2. Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method

      • Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike

      Pages 41-54

   3. A Versioning and Evolution Framework for RDF Knowledge Bases

      • Sören Auer, Heinrich Herre

      Pages 55-69

   4. A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules

      • Thomas Baar, Slaviša Marković

      Pages 70-83

   5. On the Usage of Concrete Syntax in Model Transformation Rules

      • Thomas Baar, Jon Whittle

      Pages 84-97

   6. TTCN-3 for Distributed Testing Embedded Software

      • Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch et al.

      Pages 98-111

   7. Chase of Recursive Queries

      • Nieves R. Brisaboa, Antonio Fariña, Miguel R. Luaces, José R. Paramá

      Pages 112-123

   8. Improving Semistatic Compression Via Pair-Based Coding

      • Nieves R. Brisaboa, Antonio Fariña, Gonzalo Navarro, José R. Paramá

      Pages 124-134

   9. An Agent-Based Architecture for Dialogue Systems

      • Mark Buckley, Christoph Benzmüller

      Pages 135-147

   10. Encoding Mobile Ambients into the π-Calculus

       • Gabriel Ciobanu, Vladimir A. Zakharov

       Pages 148-165

   11. Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources

       • Liliana Cojocaru

       Pages 166-179

   12. Deriving State-Based Implementations of Interactive Components with History Abstractions

       • Walter Dosch, Annette Stümpel

       Pages 180-194

   13. Introducing Debugging Capabilities to Natural Semantics

       • Alberto de la Encina, Luis Llana, Fernando Rubio

       Pages 195-208

   14. Solution Strategies for Multi-domain Constraint Logic Programs

       • Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann

       Pages 209-222

This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), held in Akademgorodok (Novosibirsk, Russia), June 27-30, 2006. The conference was held to honour the 75th anniversary of a member of the Russian Academy of Sciences Andrei Ershov (1931–1988) and his outsta- ing contributions towards advancing informatics. The role of Andrei Ershov in the establishment and development of the theory of programming and systems programming in our country cannot be overestimated. Andrei was one of the founders of the Siberian Computer Science School. He guided and took active part in the development of the programming system ALPHA and the mul- language system BETA, and authored some of the most remarkable results in the theoryofprogramming. Andreiisjustly consideredoneofthefoundersofthe theory of mixed computation. In 1974 he was nominated as Distinguished F- low of the British Computer Society. In 1981 he received the Silver Core Award for services rendered to IFIP. Andrei Ershov’s brilliant speeches were always in the focus of public attention. Especially notablewerehis lectures “Aesthetic and HumanFactorinProgramming”and“Programming—TheSecondLiteracy. ”He was not only an extremely gifted scientist, teacher and ?ghter for his ideas, but also a bright and many-sided personality. He wrote poetry, translated the works of R. Kipling and other English poets, and enjoyed playing guitar and singing. Everyone who had the pleasure of knowing Andrei Ershov and working with him will always remember his great vision, eminent achievements and generous friendship.

• Resolution
• Unified Modeling Language (UML)
• algorithms
• automata
• classificiation
• component-based systems
• constraint programming
• databases
• debugging
• digital libraries
• metamodeling
• model checking
• process algebras
• programming
• semantics