Formal name: Prof.dr. F. Arbab
Function: Scientific Staff Member
Email: Farhad.Arbab@cwi.nl
Telephone: +31(0)20 592 4056
Room: L217
Research groups: Formal Methods
Research
Arbab works on formal models for software (component and service) composition and is a leader in the coordination models and languages field of concurrency. He is the creator and the principal developer of the IWIM model and the Manifold language in the 1990’s, and their successor, Reo, since 2000. Reo is a language for coordinated composition of concurrent components and distributed services. Reo allows arbitrary user-defined channels as primitives; arbitrary mix of synchrony and asynchrony; and relational constraints between input and output. This makes Reo more expressive than, e.g., dataflow models, workflow models, and Petri nets. As such, Reo is a promising model for programming of multi-core systems and applications in systems biology. Tool support for Reo consists of a set of Eclipse plug-ins called the Eclipse Coordination Tools (ECT). ECT incorporates compositional models for specification and verification of QoS properties of interaction protocols and workflow models, through translation of Reo into Markov Chains. ECT tools for graphical animation, simulation, and model checking (e.g., through Vereofy, mCRL2, and CADP) have been used in case studies to analyze workflow and business process models for their logical correctness and compliance.
Career
| 2013 - | Scientific staff member FM - Formal methods |
| 2004 - | Professor of Computer Science, Leiden University |
| 2004 - 2006 | Adjunct professor School of Computer Science, University of Waterloo, Canada |
| 1990 - 2013 | Scientific staff member SEN3 - Foundations of Software Engineering |
| 1984 - 1989 | Assistant professor Computer Science Department, University of California, Los Angeles |
| 1983 | Visiting assistant professor, Computer Science Department, University of California, LA |
Selected Awards and Honours
| 2009 | Bronzen Achievement Award |
Selected Academic Activities
| 2008 | Organizer Lorentz Center, Leiden, The Netherlands - NWO I-science workshop on data mining, distributed computing and visualization for astronomy (IsFast 2008) |
| 2007 | Organizer Heeze, The Netherlands - IPA Springschool |
| 2004 - 2009 | Member program committee NWO, Den Haag - Global Computer Science (GLANCE) |
Selected Publications
| C. Krause, Z. Maraikar, A. Lazovik, F. Arbab. Modeling dynamic reconfiguration in Reo using high-level replacement systems. Science of Computer Programming 76, 23–36, 2011. |
| S. Meng, F. Arbab. A model for web service coordination in long-running transactions. Proceedings of International Symposium on Service-Oriented System Engineering 2010 (5), Nanjing, China, 2010. |
| F. Arbab. Elements of interaction. Proceedings of Complex Systems Design & Management 2010 (1), Paris, France, 1–28, 2010. |
| N. Kokash, B. Changizi, F. Arbab. A semantic model for service composition with coordination time delays. Proceedings of International Conference on Formal Engineering Methods 2010, Lecture Notes in Computer Science, Shanghai, China, 2010. |
