Theoretical Aspects of Computing – ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

José Luiz Fiadeiro (auth.), Zhiming Liu, Keijiro Araki (eds.)3540253041, 9783540253044

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004.

The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on concurrent and distributed systems, model integration and theory unification, program reasoning and testing, verification, theories of programming and programming languages, real-time and co-design, and automata theory and logics.

---

Table of contents :
Front Matter….Pages –
Software Services: Scientific Challenge or Industrial Hype?….Pages 1-13
Integrating Variants of DC….Pages 14-34
Challenges in Increasing Tool Support for Programming….Pages 35-35
A Predicate Spatial Logic and Model Checking for Mobile Processes….Pages 36-36
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes….Pages 37-51
Specifying Software Connectors….Pages 52-67
Replicative – Distribution Rules in P Systems with Active Membranes….Pages 68-83
A Generalisation of a Relational Structures Model of Concurrency….Pages 84-98
A Logical Characterization of Efficiency Preorders….Pages 99-112
Inherent Causal Orderings of Partial Order Scenarios….Pages 113-127
Atomic Components….Pages 128-139
Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition….Pages 140-153
A Formal Framework for Ontology Integration Based on a Default Extension to DDL….Pages 154-169
A Predicative Semantic Model for Integrating UML Models….Pages 170-186
An Automatic Mapping from Statecharts to Verilog….Pages 187-203
Reverse Observation Equivalence Between Labelled State Transition Systems….Pages 204-219
Minimal Spanning Set for Coverage Testing of Interactive Systems….Pages 220-234
An Approach to Integration Testing Based on Data Flow Specifications….Pages 235-249
Combining Algebraic and Model-Based Test Case Generation….Pages 250-264
Verifying OWL and ORL Ontologies in PVS….Pages 265-279
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains….Pages 280-294
Verifying Linear Duration Constraints of Timed Automata….Pages 295-309
Idempotent Relations in Isabelle/HOL….Pages 310-324
Program Verification Using Automatic Generation of Invariants , ….Pages 325-340
Random Generators for Dependent Types….Pages 341-355
A Proof of Weak Termination Providing the Right Way to Terminate….Pages 356-371
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn….Pages 372-386
Real Time Reactive Programming in Lucid Enriched with Contexts….Pages 387-402
Revision Programs with Explicit Negation….Pages 403-414
An Algebraic Approach for Codesign….Pages 415-430
Duration Calculus: A Real-Time Semantic for B….Pages 431-446
An Algebra of Petri Nets with Arc-Based Time Restrictions….Pages 447-462
A Calculus for Shapes in Time and Space….Pages 463-477
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions….Pages 478-493
Switched Probabilistic I/O Automata….Pages 494-510
Decomposing Controllers into Non-conflicting Distributed Controllers….Pages 511-526
Reasoning About Co–Büchi Tree Automata….Pages 527-542
Foundations for the Run-Time Monitoring of Reactive Systems – Fundamentals of the MaC Language ….Pages 543-556
A Summary of the Tutorials at ICTAC 2004….Pages 557-560
Back Matter….Pages –