Volume 159, May 2006

Proceedings of the First IPM International Workshop on Foundations of Software Engineering (FSEN 2005)

• 
  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