Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf (auth.), Irina Virbitskaite, Andrei Voronkov (eds.)3540708804, 9783540708803

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.

---

Table of contents :
Front Matter….Pages –
Separability in Conflict-Free Petri Nets….Pages 1-18
Grand Challenges of System Programming….Pages 19-19
Specifying and Verifying Programs in Spec#….Pages 20-20
Basic Protocols: Specification Language for Distributed Systems….Pages 21-25
Why Automata Models Are Sexy for Testers? (Invited Talk)….Pages 26-26
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages….Pages 27-40
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method….Pages 41-54
A Versioning and Evolution Framework for RDF Knowledge Bases….Pages 55-69
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules….Pages 70-83
On the Usage of Concrete Syntax in Model Transformation Rules….Pages 84-97
TTCN-3 for Distributed Testing Embedded Software….Pages 98-111
Chase of Recursive Queries….Pages 112-123
Improving Semistatic Compression Via Pair-Based Coding….Pages 124-134
An Agent-Based Architecture for Dialogue Systems….Pages 135-147
Encoding Mobile Ambients into the π -Calculus….Pages 148-165
Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources….Pages 166-179
Deriving State-Based Implementations of Interactive Components with History Abstractions….Pages 180-194
Introducing Debugging Capabilities to Natural Semantics….Pages 195-208
Solution Strategies for Multi-domain Constraint Logic Programs….Pages 209-222
Information-Flow Attacks Based on Limited Observations….Pages 223-234
Verifying Generalized Soundness of Workflow Nets….Pages 235-247
Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs….Pages 248-259
Satisfiability of Viability Constraints for Pfaffian Dynamics….Pages 260-269
On the Importance of Parameter Tuning in Text Categorization….Pages 270-283
Preconditions for Structural Synthesis of Programs….Pages 284-296
How to Verify and Exploit a Refinement of Component-Based Systems….Pages 297-309
Refinements in Typed Abstract State Machines….Pages 310-321
Report on an Implementation of a Semi-inverter….Pages 322-334
Loop Parallelization in Multi-dimensional Cartesian Space….Pages 335-348
An ASM Semantics of Token Flow in UML 2 Activity Diagrams….Pages 349-362
Well-Structured Model Checking of Multiagent Systems….Pages 363-376
Development of a Robust Data Mining Method Using CBFS and RSM….Pages 377-388
Pushout: A Mathematical Model of Architectural Merger….Pages 389-399
A Formal Model of Data Privacy….Pages 400-408
Linear Complementarity and P-Matrices for Stochastic Games….Pages 409-423
RapidOWL — An Agile Knowledge Engineering Methodology….Pages 424-430
BURS-Based Instruction Set Selection….Pages 431-437
Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L….Pages 438-442
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction….Pages 443-450
Streaming Networks for Coordinating Data-Parallel Programs….Pages 451-455
Formal Methods in Industrial Software Standards Enforcement….Pages 456-466
Visual Rules Modeling….Pages 467-473
Security for Multithreaded Programs Under Cooperative Scheduling….Pages 474-480
A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs….Pages 481-486
A Knowledge Portal for Cultural Information Resources: Towards an Architecture….Pages 487-494
Back Matter….Pages –