DocumentCode :
1688217
Title :
Modeling and Prototyping Business Processes in AutoPA
Author :
Yin, Ling ; Liu, Jing ; Ding, Zuohua
Author_Institution :
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China
fYear :
2011
Firstpage :
169
Lastpage :
176
Abstract :
We have seen growing interest in validation of a business process model before it is implemented due to the complexity to model business process. In this paper, we propose a method for analyzing and validating the functional correctness of a business process model. Based on our previous work, we model a business process in UML activity diagrams with OCL constraints, then we give a formal semantics of the business process model, finally we validate the model by prototyping. We have developed a tool - AutoPA to support our method. When applying the tool, a business process model specified by UML activity diagrams with OCL constraints is transformed into an executable prototype in Java. Both the control flow dimension and the dataflow dimension of the model are considered. With the prototype, users can validate the functional properties of the business process model in an interactive way. We use a real-world example as a case study: the business process of the first delivery of mortgage archive in a risk mitigation system of a bank.
Keywords :
Java; Unified Modeling Language; business data processing; AutoPA; Java; OCL constraints; UML activity diagrams; bank risk mitigation system; business process modelling; business process prototyping; control flow dimension; dataflow dimension; mortgage archive delivery; object constraint language; Business; Computational modeling; Java; Loans and mortgages; Prototypes; Semantics; Unified modeling language; AutoPA; Prototyping; Validation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2011 Fifth International Symposium on
Conference_Location :
Xi´an, Shaanxi
Print_ISBN :
978-1-4577-1487-0
Type :
conf
DOI :
10.1109/TASE.2011.8
Filename :
6042075
Link To Document :
بازگشت