Electronic Notes in Theoretical Computer Science, Volume 159

Volume 159, May 2006

• Farhad Arbab, Marjan Sirjani:
  Preface. 1-2
  
• Ali Kamandi, Mohammad Abdollahi Azgomi, Ali Movaghar:
  Transformation of UML Models into Analyzable OSAN Models. 3-22
  
• M. Jamshid Bagherzadeh, S. Arun-Kumar:
  Flexible Communication of Agents based on FIPA-ACL. 23-39
  
• Lorenzo Capra, Walter Cazzola:
  A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems. 41-59
  
• Dave Clarke:
  Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. 61-77
  
• Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day:
  Interface Automata with Complex Actions. 79-97
  
• Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani:
  Automated Mapping of Reo Circuits to Constraint Automata. 99-115
  
• Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi:
  An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. 117-137
  
• Hossein Hojjat, Hootan Nakhost, Marjan Sirjani:
  Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. 139-154
  
• Yu Huang, Hanpin Wang, Peng Yu, Yunni Xia:
  Property-Transition-Net-Based Workflow Process Modeling and Verification. 155-170
  
• Mohammad Izadi, Ali Movaghar-Rahimabadi:
  An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. 171-186
  
• Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen:
  Validating Behavioral Component Interfaces in Rewriting Logic. 187-204
  
• Marc Aiguier, Diane Bahrami, Delphine Longuet:
  An Abstract Way to Define Rewriting Logic. 205-226
  
• Mahdi Niamanesh, Nafiseh Fekrazad Nobakht, Rasool Jalili, Faranak Heydarian Dehkordi:
  On Validity Assurance of Dynamic Reconfiguration for Component-based Programs. 227-239
  
• Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez:
  From Theoretical e-barter Models to an Implementation Based on Web Services. 241-264
  
• Shunsuke Sasaki, Tasuku Nishihara, Masahiro Fujita:
  Slicing-based Hardware/Software Co-design Methodology From Functional Specifications. 265-280
  
• Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
  Inductive Proof Outlines for Exceptions in Multithreaded Java. 281-297
  
• Mark-Oliver Stehr:
  Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. 299-323