arrow
Volume 16, Issue 2
Transforming a Formal Business Process Model Into a Service Interaction Model

Zonghua Li & Zhengwei Ye

J. Info. Comput. Sci. , 16 (2021), pp. 134-147.

Export citation
  • Abstract

The business process model and service interaction model represent the behaviour model on business view and system view respectively. The automatic transformation from the business process model to the service interaction model can effectively narrow the gap between the business view and the system view. Thus, in this paper, a model transformation approach that can transform the business process model described by extended Petri net into service interaction model in system view is proposed. This approach by extending the UML sequence diagram meta model represents service interaction model, and by using model-driven development designs the transformation from extended Petri net to service interaction model. Especially, each situation of the behaviour transition linked to the different types of places in extended Petri net model are detailed analyzed. According with the these situation, the transformation rules from each situation to different types of message in the service interaction model are designed. In order to carry out the automatic executing of the formalization transformation, the transformation rules are described by the ATL model transformation language, and the ATL codes are implemented by Eclipse platform. Finally, the executing result of the model transformation plug is demonstrated by the Travel Agency system. The experimental results show that the approach in this paper can realize the automatic transformation from business process model to service interaction model, and improve the efficiency of software development.

  • AMS Subject Headings

  • Copyright

COPYRIGHT: © Global Science Press

  • Email address
  • BibTex
  • RIS
  • TXT
@Article{JICS-16-134, author = {Li , Zonghua and Ye , Zhengwei}, title = {Transforming a Formal Business Process Model Into a Service Interaction Model}, journal = {Journal of Information and Computing Science}, year = {2024}, volume = {16}, number = {2}, pages = {134--147}, abstract = {

The business process model and service interaction model represent the behaviour model on business view and system view respectively. The automatic transformation from the business process model to the service interaction model can effectively narrow the gap between the business view and the system view. Thus, in this paper, a model transformation approach that can transform the business process model described by extended Petri net into service interaction model in system view is proposed. This approach by extending the UML sequence diagram meta model represents service interaction model, and by using model-driven development designs the transformation from extended Petri net to service interaction model. Especially, each situation of the behaviour transition linked to the different types of places in extended Petri net model are detailed analyzed. According with the these situation, the transformation rules from each situation to different types of message in the service interaction model are designed. In order to carry out the automatic executing of the formalization transformation, the transformation rules are described by the ATL model transformation language, and the ATL codes are implemented by Eclipse platform. Finally, the executing result of the model transformation plug is demonstrated by the Travel Agency system. The experimental results show that the approach in this paper can realize the automatic transformation from business process model to service interaction model, and improve the efficiency of software development.

}, issn = {1746-7659}, doi = {https://doi.org/}, url = {http://global-sci.org/intro/article_detail/jics/22372.html} }
TY - JOUR T1 - Transforming a Formal Business Process Model Into a Service Interaction Model AU - Li , Zonghua AU - Ye , Zhengwei JO - Journal of Information and Computing Science VL - 2 SP - 134 EP - 147 PY - 2024 DA - 2024/01 SN - 16 DO - http://doi.org/ UR - https://global-sci.org/intro/article_detail/jics/22372.html KW - business process model, extended Petri net, service interaction model, model transformation. AB -

The business process model and service interaction model represent the behaviour model on business view and system view respectively. The automatic transformation from the business process model to the service interaction model can effectively narrow the gap between the business view and the system view. Thus, in this paper, a model transformation approach that can transform the business process model described by extended Petri net into service interaction model in system view is proposed. This approach by extending the UML sequence diagram meta model represents service interaction model, and by using model-driven development designs the transformation from extended Petri net to service interaction model. Especially, each situation of the behaviour transition linked to the different types of places in extended Petri net model are detailed analyzed. According with the these situation, the transformation rules from each situation to different types of message in the service interaction model are designed. In order to carry out the automatic executing of the formalization transformation, the transformation rules are described by the ATL model transformation language, and the ATL codes are implemented by Eclipse platform. Finally, the executing result of the model transformation plug is demonstrated by the Travel Agency system. The experimental results show that the approach in this paper can realize the automatic transformation from business process model to service interaction model, and improve the efficiency of software development.

Li , Zonghua and Ye , Zhengwei. (2024). Transforming a Formal Business Process Model Into a Service Interaction Model. Journal of Information and Computing Science. 16 (2). 134-147. doi:
Copy to clipboard
The citation has been copied to your clipboard