Perspectives of Systems Informatics Book

Invited Papers
Separability in Conflict-Free Petri Nets   Eike Best   Javier Esparza   Harro Wimmel   Karsten Wolf     1
Grand Challenges of System Programming   Victor Ivannikov     19
Specifying and Verifying Programs in Spec#   K. Rustan   M. Leino     20
Basic Protocols: Specification Language for Distributed Systems   Alexander Letichevsky     21
Why Automata Models Are Sexy for Testers?   Alexandre Petrenko     26
Regular Papers
An Universal Resolving Algorithm for Inverse Computation of Lazy Languages   Sergei Abramov   Robert Gluck   Yuri Klimov     27
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method   Kiyoshi Akama   Ekawit Nantajeewarawat   Hidekatsu Koike     41
A Versioning and Evolution Framework for RDF Knowledge Bases   Soren Auer   Heinrich Herre     55
A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules   Thomas Baar   Slavisa Markovic     70
On the Usage of Concrete Syntax in Model Transformation Rules   Thomas Baar   Jon Whittle     84
TTCN-3 for Distributed Testing Embedded Software   Stefan Blom   Thomas Deiss   Natalia Ioustinova   Ari Kontio   Jaco van de Pol   Axel Rennoch   Natalia Sidorova     98
Chase of Recursive Queries   Nieves R. Brisaboa   Antonio Farina   Miguel R. Luaces   Jose R. Parama     112
Improving Semistatic Compression Via Fair-Based Coding   Nieves R. Brisaboa   Antonio Farina   Gonzalo Navarro   Jose R. Parama     124
An Agent-Based Architecture for Dialogue Systems   Mark Buckley   Christoph Benzmuller     135
Encoding Mobile Ambients into the [pi]-Calculus   Gabriel Ciobanu   Vladimir A. Zakharov     148
Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources   Liliana Cojocaru     166
Deriving State-Based Implementations of Interactive Components with History Abstractions   Walter Dosch   Annette Stumpel     180
Introducing Debugging Capabilities to Natural Semantics   Alberto de la Encina   Luis Llana   Fernando Rubio     195
Solution Strategies for Multi-domain Constraint Logic Programs   Stephan Frank   Petra Hofstedt   Peter Pepper   Dirk Reckmann      209
Information-Flow Attacks Based on Limited Observations   Damas P. Gruska     223
Verifying Generalized Soundness of Workflow Nets   Kees van Hee   Olivia Oanea   Natalia Sidorova   Marc Voorhoeve     235
Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs   Andrei Klimov     248
Satisfiability of Viability Constraints for Pfaffian Dynamics   Margarita Korovina   Nicolai Vorobjov     260
On the Importance of Parameter Tuning in Text Categorization   Cornelis H.A. Koster   Jean G. Beney     270
Preconditions for Structural Synthesis of Programs   Vahur Kotkas     284
How to Verify and Exploit a Refinement of Component-Based Systems   Olga Kouchnarenko   Arnaud Lanoix     297
Refinements in Typed Abstract State Machines   Sebastian Link   Klaus-Dieter Schewe   Jane Zhao     310
Report on an Implementation of a Semi-inverter   Torben Aegidius Mogensen     322
Loop Parallelization in Multi-dimensional Cartesian Space   Saeed Parsa   Shahriar Lotfi     335
An ASM Semantics of Token Flow in UML 2 Activity Diagrams   Stefan Sarstedt   Walter Guttmann      349
Well-Structured Model Checking of Multiagent Systems   N.V. Shilov   N.O. Garanina     363
Development of a Robust Data Mining Method Using CBFS and RSM   Sangmun Shin   Yi Guo   Yongsun Choi   Myeonggil Choi   Charles Kim     377
Pushout: A Mathematical Model of Architectural Merger   Andrew Solomon     389
A Formal Model of Data Privacy   Phiniki Stouppa   Thomas Studer     400
Linear Complementarity and P-Matrices for Stochastic Games   Ola Svensson   Sergei Vorobyov     409
Short Papers
RapidOWL - An Agile Knowledge Engineering Methodology   Soren Auer   Heinrich Herre     424
BURS-Based Instruction Set Selection   Dmitri Boulytchev     431
Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L   Anatoly Chebotarev   Sergey Krivoi     438
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction   R.S. Dubtsov     443
Streaming Networks for Coordinating Data-Parallel Programs   Clemens Grelck   Sven-Bodo Scholz   Alex Shafarenko     451
Formal Methods in Industrial Software Standards Enforcement   Alexey Grinevich    Alexey Khoroshilov   Victor Kuliamin   Denis Markovtsev   Alexander Petrenko   Vladimir Rubanov     456
Visual Rules Modeling   Sergey Lukichev   Gerd Wagner     467
Security for Multithreaded Programs Under Cooperative Scheduling   Alejandro Russo   Andrei Sabelfeld     474
A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs   Tursunbay kyzy Yrysgul     481
A Knowledge Portal for Cultural Information Resources: Towards an Architecture   Yury Zagorulko   Jawed Siddiqi   Babak Akhgar   Olesya Borovikova     487
Author Index     495