Analysis through Reflection Walking the EMF model of BPEL4WS∗
نویسندگان
چکیده
The Eclipse modelling framework provides a hierarchy of Java classes that represent the abstract syntax of BPEL4WS. Many analyses of a BPEL4WS program boil down to walking its abstract syntax tree. We review, refine and extend a technique, based on Java’s reflection mechanism, to walk such trees. We apply this technique to implement two non-trivial analyses of BPEL4WS programs.
منابع مشابه
Transforming BPMN to BPEL with EMF Tiger
This paper describes a model transformation from the Business Process Modeling Notation (BPMN) to the Business Process Execution Language for Web Services (BPEL4WS, or BPEL for short). We give the meta-models for both source and target language as EMF models and define EMF model transformation rules using our recently developed tool EMF Tiger, an Eclipse plug-in supporting modeling and executio...
متن کاملDesign and Validation of an Instructional Design Model for Reflection-Based Learning Environments
Design and Validation of an Instructional Design Model for Reflection-Based Learning Environments E. Azimi, Ph.D.* J. Haatami, Ph.D.** H. FarDaanesh, Ph.D.*** O. Noroozi, Ph.D.**** Reflection on teaching is a known method of learning to teach. Reflection is a form of thinking wherein improvement is sought through self-observation. Recent approaches to teaching practicums have gravi...
متن کاملSensitivity Analysis of Mike21-BW Diffraction Model by using Breakwater Reflection Coefficient
DHI-Mike Software is one of best softwares describing water wave diffraction in onshore/offshore concepts. Diffraction happens due to obstacles along wave direction and has an important role in designing structures. The scope of this study is to show the relation between Porosity Coefficient and its effects on Diffraction Coefficient (Cd) by means of a suitable and verified numerical model. Por...
متن کاملEvaluation of optimal step length in a seven-link model with margin of stability method
In a walking cycle design, maximizing the upright balance should be considered in addition to the kinematic constraints, energy consumption rate must be considered. The purpose of this study is to find the optimal step length obtained for each person according to the physical features. In this research, in order to minimize energy consumption rate by considering maximum balance two cost functio...
متن کاملUsing the Geometric Model to Explain the Longitudinal and Cross–Sectional Reflection Behaviors of Acrylic yarns
In the present work the reflection behavior and the color appearance of acrylic yarns, as pile yarns used in carpet and pilled fabrics, are considered along their lengths as well as their cross- sections. Differences between longitudinal and cross-sectional reflection behaviors of yarns are measured in different yarn densities and hues and explained by the geometric model. The results of experi...
متن کامل