IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems, Nancy Alonistioti, Takeo Kanade, Lea Kutvonen, Josef Kittler
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
Verifying [chi] Models of Industrial Systems with Spin / Nikola Trcka
Stateful Dynamic Partial-Order Reduction / Xiaodong Yi ; Ji Wang ; Xuejun Yang
Internetware and Web-Based Systems
User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition / Xiaoning Ding ; Jun Wei ; Tao Huang
Environment Ontology-Based Capability Specification for Web Service Discovery / Puwei Wang ; Zhi Jin ; Lin Liu
Scenario-Based Component Behavior Derivation / Yan Zhang ; Jun Hu ; Xiaofeng Yu ; Tian Zhang ; Xuandong Li ; Guoliang Zheng
Verification of Computation Orchestration Via Timed Automata / Yang Liu ; Jun Sun ; Xian Zhang
Towards the Semantics for Web Service Choreography Description Language / Jing Li ; Jifeng He ; Geguang Pu ; Huibiao Zhu
Type Checking Choreography Description Language / Hongli Yang ; Xiangpeng Zhao ; Zongyan Qiu ; Chao Cai
Concurrent, Communicating, Timing and Probabilistic Systems
Formalising Progress Properties of Non-blocking Programs / Brijesh Dongol
Towards a Fully Generic Theory of Data / Douglas A. Creager ; Andrew C. Simpson
Verifying Statemate Statecharts Using CSP and FDR / A. W. Roscoe ; Z. Wu
A Reasoning Method for Timed CSP Based on Constraint Solving / Ping Hao
Mapping RT-LOTOS Specifications into Time Petri Nets / Tarek Sadani ; Marc Boyer ; Pierre de Saqui-Sannes ; Jean-Pierre Courtiat
Reasoning Algebraically About Probabilistic Loops / Larissa Meinicke ; Ian J. Hayes
Object and Component Orientation
Formal Verification of the Heap Manager of an Operating System Using Separation Logic / Nicolas Marti ; Reynald Affeldt ; Akinori Yonezawa
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs / Bart Jacobs ; Jan Smans ; Frank Piessens ; Wolfram Schulte
Model Checking Dynamic UML Consistency / Quan Long
Testing and Model Checking
Conditions for Avoiding Controllability Problems in Distributed Testing / Jessica Chen ; Lihua Duan
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm / Samira Tasharofi ; Sepand Ansari ; Marjan Sirjani
Checking the Conformance of Java Classes Against Algebraic Specifications / Isabel Nunes ; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu ; Luis S. Reis
Incremental Slicing / Heike Wehrheim
Assume-Guarantee Software Verification Based on Game Semantics / Aleksandar Dimovski ; Ranko Lazic
Optimized Execution of Deterministic Blocks in Java PathFinder / Marcelo d'Amorim ; Ahmed Sobeih ; Darko Marinov
Tools
A Tool for a Formal Pattern Modeling Language / Soon-Kyeong Kim ; David Carrington
An Open Extensible Tool Environment for Event-B / Jean-Raymond Abrial ; Michael Butler ; Stefan Hallerstede ; Laurent Voisin
Tool for Translating Simulink Models into Input Language of a Model Checker / Meenakshi B. ; Abhishek Bhatnagar ; Sudeepa Roy
Fault-Tolerance and Security
Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices / Tim McComb ; Luke Wildman
A Language for Modeling Network Availability / Luigia Petre ; Kaisa Sere ; Marina Walden
Multi-process Systems Analysis Using Event B: Application to Group Communication Systems / J. Christian Attiogbe
Specification and Refinement
Issues in Implementing a Model Checker for Z / John Derrick ; Siobhan North ; Tony Simons
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking / Leo Freitas ; Ana Cavalcanti ; Jim Woodcock
Discovering Likely Method Specifications / Nikolai Tillmann ; Feng Chen
Time Aware Modelling and Analysis of Multiclocked VLSI Systems / Tomi Westerlund ; Juha Plosila
SALT-Structured Assertion Language for Temporal Logic / Andreas Bauer ; Martin Leucker ; Jonathan Streit
Author Index
Keynote Talks
Program Verification Through Computer Algebra / Chaochen Zhou
JML's Rich, Inherited Specifications for Behavioral Subtypes / Gary T. Leavens
Reusable Architectural Decision Model for Model and Metadata Repositories / Christine Mayr ; Uwe Zdun ; Schahram Dustdar
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems / Natallia Kokash ; Farhad Arbab
The CREDO Project
A Real-Time Extension of Creol for Modelling Biomedical Sensors / Marcel Kyas ; Einar Broch Johnsen
Conformance Testing of Distributed Concurrent Systems with Executable Designs / Bernhard K. Aichernig ; Andreas Griesmayer ; Rudolf Schlatte ; Andries Stam
Formal Verification for Components and Connectors / Christel Baier ; Tobias Blechmann ; Joachim Klein ; Sascha Kt&uuuml;ppelholz
Towards Demonstrably Correct Compilation of Java Byte Code / Michael Leuschel
Incremental System Modelling in Event-B / Stefan Hallerstede
The GRIDCOMP Project
An Asynchronous Distributed Component Model and Its Semantics / Ludovic Henrio ; Florian Kamm&uuuml;ller ; Marcela Rivera
Specification and Verification for Grid Component-Based Applications: From Models to Tools / Antonio Cansado ; Eric Madelaine
Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed programming / M. Aldinucci ; M. Danelutto ; P. Kilpatrick
The MOBIUS Project
Session-Based Compilation Framework for Multicore Programming / Nobuko Yoshida ; Vasco Vasconcelos ; Hervé Paulino ; Kohei Honda
Abstract Interpretation of Symbolic Execution with Explicit State Updates / Richard Bubel ; Reiner Hähnle ; Benjamin Weiß
BML and Related Tools / Jacek Chrz&acedil;szcz ; Marieke Huisman ; Aleksy Schubert
Author Index
The COMPAS Project
Reusable Architectural Decision Model for Model and Metadata Repositories / Christine Mayr ; Uwe Zdun ; Schahram Dustdar
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems / Natallia Kokash ; Farhad Arbab
The Metrô Rio ATP Case Study / Alessio Ferrari ; Daniele Grasso ; Gianluca Magnani ; Alessandro Fantechi ; Matteo Tempestini
Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study / Michael Altenhofen ; Achim D. Brucker
Formal Analysis of BPMN Models Using Event-B / Jeremy W. Bryans ; Wei Wei
Developing Mode-Rich Satellite Software by Refinement in Event B / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky ; Kimmo Varpaaniemi ; Dubravka Ilic ; Timo Latvala
Automatic Error Correction of Java Programs / Christian Kern ; Javier Esparza
Range Analysis of Microcontroller Code Using Bit-Level Congruences / Jörg Brauer ; Andy King ; Stefan Kowalewski
An Automated Translator for Model Checking Time Constrained Workflow Systems / Ahmed Shah Mashiyat ; Fazle Rabbi ; Hao Wang ; Wendy MacCaull
Correctness of Sensor Network Applications by Software Bounded Model Checking / Frank Werner ; David Faragó
Model Checking the FlexRay Physical Layer Protocol / Michael Gerke ; Rüdiger Ehlers ; Bernd Finkbeiner ; Hans-Jörg Peter
SMT-Based Formal Verification of a TTEthernet Synchronization Function / Wilfried Steiner ; Bruno Dutertre
Embedded Network Protocols for Mobile Devices / Despo Galataki ; Andrei Radulescu ; Kees Verstoep ; Wan Fokkink
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP / Radu Mateescu ; Wendelin Serwe
A Formal Model of Identity Mixer / Jan Camenisch ; Sebastian Mödersheim ; Dieter Sommer
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept / Lars Michael Kristensen ; Michael Westergaard
Author Index
The Metrô Rio ATP Case Study / Alessio Ferrari ; Daniele Grasso ; Gianluca Magnani ; Alessandro Fantechi ; Matteo Tempestini
Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study / Michael Altenhofen ; Achim D. Brucker
Formal Analysis of BPMN Models Using Event-B / Jeremy W. Bryans ; Wei Wei
Communication, and Software Systems International School on Formal Methods for the Design of Computer, Marco Bernardo, Alessandro Bogliolo, Takeo Kanade, Josef Kittler
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
Revising the UML Collaborations: A Well-Founded Approach / Egidio Astesiano ; Gianna Reggio
Client Synthesis for Aspect Oriented Web Services / Mehdi Ben Hmida ; Serge Haddad
Formal Reasoning about Software Object Translations / Vladis Berzins ; Luqi ; Peter M. Musial
Software Engineering Techniques for the Development of Systems of Systems / Radu Calinescu ; Marta Kwiatkowska
Simulation of LET Models in Simulink and Ptolemy / Patricia Derler ; Andreas Naderlinger ; Wolfgang Pree ; Stefan Resmerita ; Josef Templ
Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems / Claudiu Farcas ; Emilia Farcas ; Ingolf Krüger
On the Pragmatics of Model-Based Design / Hauke Fuhrmann ; Reinhard von Hanxleden
Modelling and Verification of Relay Interlocking Systems / Anne E. Haxthausen ; Marie Le Bliguet ; Andreas A. Kjœr
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication / Rolf Hennicker ; Stephan Janisch ; Alexander Knapp
Experiences in Model Driven Verification of Behavior with UML / Fabrice Kordon ; Yann Thierry-Mieg
Software Verification of Autonomic Systems Developed with ASSL / Emil Vassev ; Mike Hinchey
Modeling Language Variability / Hans Grönniger ; Bemhard Rumpe
An Approach for Effective Design Space Exploration / Eunsuk Kang ; Ethan Jackson ; Wolfram Schulte
Migration of Legacy Software towards Correct-by-Construction Timing Behavior / Stefan Resmerita ; Kenneth Butts ; Patricia Derler ; Andreas Naderlinger ; Wolfgang Free
Uniform Monte-Carlo Model Checking / Johan Oudinet ; Alain Denise ; Marie-Claude Gaudel ; Richard Lassaigne ; Sylvain Peyronnet
Model Checking Büchi Pushdown Systems / Juncao Li ; Fei Xie ; Thomas Ball ; Vladimir Levin
Model Driven Engineering
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior / Claudia Ermel ; Jürgen Gall ; Leen Lambers ; Gabriele Taentzer
Models within Models: Taming Model Complexity Using the Sub-model Lattice / Pierre Kelsen ; Qin Ma ; Christian Glodt
Type-Safe Evolution of Spreadsheets / Jácome Cunha ; Joost Visser ; Tiago Alves ; João Saraiva
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications / Hartmut Ehrig
Systematic Development of UMLsec Design Models Based on Security Requirements / Denis Hatebur ; Maritta Heisel ; Jan Jürjens ; Holger Schmidt
Testing: Theory and New Trends
Theoretical Aspects of Compositional Symbolic Execution / Dries Vanoverberghe ; Frank Piessens
Testing Container Classes: Random or Systematic? / Rohan Sharma ; Milos Gligoric ; Andrea Arcuri ; Gordon Fraser ; Darko Marinov
Seamless Testing for Models and Code / Andreas Holzer ; Visar Januzaj ; Stefan Kugele ; Boris Langer ; Christian Schallhart ; Michael Tautschnig ; Helmut Veith
Testing in Practice
Retrofitting Unit Tests for Parameterized Unit Testing / Suresh Thummalapenta ; Madhuri R. Marri ; Tao Xie ; Nikolai Tillmann ; Jonathan de Halleux
Evolving a Test Oracle in Black-Box Testing / Farn Wang ; Jung-Hsuan Wu ; Chung-Hao Huang ; Kai-Hsiang Chang
Automated Driver Generation for Analysis of Web Applications / Oksana Tkachuk ; Sreeranga Rajan
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts / Tamim Ahmed Khan ; Reiko Heckel
Code Development and Analysis
Incremental Clone Detection and Elimination for Erlang Programs / Huiqing Li ; Simon Thompson
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? / Bashar Gharaibeh ; Hridesh Rajan ; J. Morris Chang
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity / Qirun Zhang ; Wujie Zheng ; Michael R. Lyu
Search-Based Design Defects Detection by Example / Marouane Kessentini ; Houari Sahraoui ; Mounir Boukadoum ; Manuel Wimmer
Empirical Studies
An Empirical Study on Evolution of API Documentation / Lin Shi ; Hao Zhong ; Mingshu Li
An Empirical Study of Long-Lived Code Clones / Dongxiang Cai ; Miryung Kim
Where the Truth Lies: AOP and Its Impact on Software Modularity / Adam Przybylek
Author Index
Invited Talk
The Dependability of Complex Socio-technical Systems / Ross Anderson
Automated Learning of Probabilistic Assumptions for Compositional Reasoning / Lu Feng ; Marta Kwiatkowska ; David Parker
The Name and Nature of Software Engineering / Michael Jackson
A Modeling Language for Program Design and Synthesis / Don Batory
A Method for Verifiable and Validatable Business Process Modeling / Egon Borger ; Bernhard Thalheim
SOA and Web Services
Service Oriented Architecture: Overview and Directions / Boualem Benatallah ; Hamid R. Motahari Nezhad
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions / Domenico Bianculli ; Carlo Ghezzi ; Paola Spoletini ; Luciano Baresi ; Sam Guinea
Software Technology
Software Manipulation with Annotations in Java / Vincenzo Gervasi ; Giacomo A. Galilei
Zero-Overhead Composable Aspects for .NET / Rasmus Johansen ; Peter Sestoft ; Stephan Spangenberg
Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution / Sebastien Vaucouleur
Security
Security in Distributed Applications / Dieter Gollmann
Author Index
Foundations and Methodology
The Name and Nature of Software Engineering / Michael Jackson
A Modeling Language for Program Design and Synthesis / Don Batory
Probabilistic Contracts for Component-Based Design / Dana N. Xu ; Gregor Gössler ; Alain Girault
Tool Papers
Model-Checking Web Applications with Web-TLR / MarÃa Alpuente ; Demis Ballis ; Javier Espert ; Daniel Romero
GAVS: Game Arena Visualization and Synthesis / Chih-Hong Cheng ; Christian Buckl ; Michael Luttenberger ; Alois Knoll
CRI: Symbolic Debugger for MCAPI Applications / Mohamed Elwakil ; Zijiang Yang ; Liqiang Wang
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming / Gal Katz
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski
Developing Model Checkers Using PAT / Yang Liu ; Jun Sun ; Jin Song Dong
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B / Ukachukwu Ndukwu ; Annabelle K. McIver
COMBINE: A Tool on Combined Formal Methods for Bindingly Verification / An N. Nguyen ; Tho T. Quan ; Phung H. Nguyen ; Thang H. Bui