Theoretical Aspects of Computing - ICTAC 2004计算的理论方面

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.

The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available.
The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.
—proceedings （published in time for the respective conference）
—post-proceedings （consisting of thoroughly revised final full papers）
—research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）

Invited Speakers
　Software Services: Scientific or Industrial Hype?
　Integrating Variants of DC
　Challenge Challenges in Increasing Tool Support for Programming
　A Predicate Spatial Logic and Model Checking for Mobile Processes
Concurrent and Distributed Systems
　Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes
　Specifying Software Connectors
　Replicative-Distribution Rules in P Systems with Active Membranes
　A Generalisation of a Relational Structures Model of Concurrency
　A Logical Characterization of Efficiency Preorders
　Inherent Causal Orderings of Partial Order Scenarios
　Atomic Components
　Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition
Model Integration and Theory Unification
　A Formal Framework for Ontology Integration Based on a Default Extension to DDL
　A Predicative Semantic Model for Integrating UML Models
　An Automatic Mapping from Statecharts to Verilog
　Reverse Observation Equivalence Between Labelled State Transition Systems
Program Reasoning and Testing
　Minimal Spanning Set for Coverage Testing of Interactive Systems
An Approach to Integration Testing Based on Data
Combining Algebraic and Model-Based Test Case G
Verifying OWL and ORL Ontologies in PVS
Verification
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains
Verifying Linear Duration Constraints of Timed Automata
……
Theories of Programming and programming Languages
Real-Time and Co-design
Automata Theory and Logics
Tutorials at ICTAC 2004
Author Index