Reo: Applications in Formalizing Standard Models

This presentation highlights applications of Reo in formalizing business models. We show how to apply Reo in formalizing modeling standards: BPMN, BPEL, UML Sequence Diagram and Activity Diagrams to provide means to model check such early products of software development. These transformations mainly are realized in Atlas Transformation Language, a model to model transformation language which enables rule based mapping of Ecore models. Transactions play a key role in business modeling. We show how transactions can be modeled in Reo. However, to capture the semantics of transactions and some complex business structures such as exceptions, we need a means to specify priorities on Reo networks. Since none the existing formalism for Reo support Priority, we translate Reo networks to a process algebra notation that supports priority, called Finite State Process (FSP). We show how FSP specifications can be generated from Reo models. Through a case study, we show how the given formalism using FSP enables us to increase the expressiveness of Reo models. Reo networks can be used for Quality of Service analysis by means of Quantitative Intentional Automata (QIA) that can be converted to Markov-Chains and be analyzed by proper tools such as Prism. Last by not least, we show how Reo can be used as a formalism for automatic code generation for Web Service Composition.

References: Changizi, B., Kokash, N., Arbab, F.: "A Unified Toolset for Business Process Model Formalization", International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), tool demonstration paper, March 2010, Paphos, Cyprus. Kokash, N., Arbab, F.: "Formal Design and Verification of Long-Running Transactions with Eclipse Coordination Tools", IEEE Transactions on Service Computing, 2010, accepted for publication. F. Arbab, M. Sun, Y.-J. Moon, M. Kwiatkowska, H. Qu. Reo2MC: a tool chain for performance analysis of coordination models. Proceedings of Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on Foundations of Software Engineering 2009 (7), 287–288, 2009. F. Arbab, C. Krause, Z. Maraikar, Y.-J. Moon, J.M.P. Proença. Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools. Proceedings of FACS 2008, 2008.  

hosted by