Changes for document BPIDE-Lite

From version 2.1
edited by Kaifeng Chen
on 2012/06/12 07:41
To version 3.1
edited by Kaifeng Chen
on 2012/06/12 07:42
Change comment: There is no comment for this version
Object changes
Property Previous value New value
Object number 0 of type Proposal.ProposalClass modified
Targeted audience BPIDE-Lite is developed at targeting to service-oriented software developers. For developers, they can get help from BPIDE-Lite to develop complex and powerful composite services, such as searching services by keywords, to verify if the business processes produced by BPIDE-lite contain deadlocks or other inappropriate properties. Orchestra(http://www.ow2.org/view/ActivitiesDashboard/Orchestra) provides a BPMN-based web designer that is similar to BPIDE-Lite, but the latter provides model verification support to ensure the correctness of the generated business process models. BPIDE-Lite is developed at targeting to service-oriented software developers. For developers, they can get help from BPIDE-Lite to develop complex and powerful composite services, such as searching services by keywords, to verify if the business processes produced by BPIDE-lite contain deadlocks or other inappropriate properties. Orchestra(http://www.ow2.org/view/ActivitiesDashboard/Orchestra) provides a BPMN-based web designer that is similar to BPIDE-Lite, but the latter provides model verification support to ensure the correctness of the generated business process models.
Internationalization (1) We will provide all documentation and code comments in English. (2) All team members can communicate with others in English. (3) We have put an emphasis on internationalization of the project, and expect to cooperate with more international organizations by the OW2 consortium. (1) We will provide all documentation and code comments in English. (2) All team members can communicate with others in English. (3) We have put an emphasis on internationalization of the project, and expect to cooperate with more international organizations by the OW2 consortium.
Supporting team Kaifeng Chen, School of Computer Science and Engineering, Beihang University, Beijing, China, chenkf@act.buaa.edu.cn Hailong Sun, School of Computer Science and Engineering, Beihang University, Beijing, China, sunhl@act.buaa.edu.cn Chune Li, School of Computer Science and Engineering, Beihang University, Beijing, China, Lichune@act.buaa.edu.cn Xu Wang, School of Computer Science and Engineering, Beihang University, Beijing, China, wangxu@act.buaa.edu.cn Yue Lu, School of Computer Science and Engineering, Beihang University, Beijing, China, luyue@act.buaa.edu.cn Meng Zhang, School of Computer Science and Engineering, Beihang University, Beijing, China, zhangm@act.buaa.edu.cn Kaifeng Chen, School of Computer Science and Engineering, Beihang University, Beijing, China, chenkf@act.buaa.edu.cn Hailong Sun, School of Computer Science and Engineering, Beihang University, Beijing, China, sunhl@act.buaa.edu.cn Chune Li, School of Computer Science and Engineering, Beihang University, Beijing, China, Lichune@act.buaa.edu.cn Xu Wang, School of Computer Science and Engineering, Beihang University, Beijing, China, wangxu@act.buaa.edu.cn Yue Lu, School of Computer Science and Engineering, Beihang University, Beijing, China, luyue@act.buaa.edu.cn Meng Zhang, School of Computer Science and Engineering, Beihang University, Beijing, China, zhangm@act.buaa.edu.cn
Project information The software production based on SOA would undergo four procedures, which are Business Process Modeling, model verification, executing and monitoring, and product launch. Model verification is of great importance. Considering some invalid situations are unperceivable in the modeling phase, along with that it would take a long term and a high cost to discover and revise errors in large-scaled Software Development and the relative free structure of BPMN is easy to make mistake for it lacks of formalized expression, a model verification based on BPMN is indispensable. BPIDE-lite is an online business process modeling and service composition tool following BPMN specification. It is open-source software independently developed by Beihang University. BPIDE-lite is an online business process modeling and service composition tool following BPMN (Business Process Modeling Notation) specification. This tool is an online and lite version of BPIDE (Business Process Integrated Development Environment), which provides a suite of developing tools for service oriented application development with Eclipse-based implementation. The goal of this project is allow developers to fulfill the main tasks including modeling with BPMN, model verification and service orchestration. The focus of the 2012 programming contest topic for BPIDE-Lite was to add verification function for business process models to verify if the business processes produced by BPIDE-lite contain deadlocks or other inappropriate properties. If it is accepted by OW2 Technology Council, we will publish the project information in the Forge, communicate with mailing lists and manage source code on SVN. The software production based on SOA would undergo four procedures, which are Business Process Modeling, model verification, executing and monitoring, and product launch. Model verification is of great importance. Considering some invalid situations are unperceivable in the modeling phase, along with that it would take a long term and a high cost to discover and revise errors in large-scaled Software Development and the relative free structure of BPMN is easy to make mistake for it lacks of formalized expression, a model verification based on BPMN is indispensable. BPIDE-lite is an online business process modeling and service composition tool following BPMN specification. It is open-source software independently developed by Beihang University. BPIDE-lite is an online business process modeling and service composition tool following BPMN (Business Process Modeling Notation) specification. This tool is an online and lite version of BPIDE (Business Process Integrated Development Environment), which provides a suite of developing tools for service oriented application development with Eclipse-based implementation. The goal of this project is allow developers to fulfill the main tasks including modeling with BPMN, model verification and service orchestration. The focus of the 2012 programming contest topic for BPIDE-Lite was to add verification function for business process models to verify if the business processes produced by BPIDE-lite contain deadlocks or other inappropriate properties. If it is accepted by OW2 Technology Council, we will publish the project information in the Forge, communicate with mailing lists and manage source code on SVN.
Description of the project and its goals Recently, Business Process Modeling Notation (BPMN) has been widely adopted as a business process description language for guiding service composition. Because the structure of BPMN is relatively flexible and lack of formal representation，it is much easier to have errors than other models. Meanwhile, the design complexity is high in large network application, and model design faults will occur inevitably. The correctness of business process model is a challenge in the field of composite service. Model verification is an important means to guarantee the correctness and trustworthiness of composite service process, and it can detect the existing problems, which is significant to verify the soundness of composite service and modify the model design. The main works of the project are as follow: • This project defines the XML-based meta-model for major BPMN v1.1 elements and implements a Web-based graphical modeling tool. • To guarantee the need of verification, this project proposes a verification method based on Petri nets. On the premise of ensuring the execution semantics, this project provides a mapping mechanism which translates BPMN models to Petri net models, and provides an automatic layout method for Petri net models as well. • A verification tool is designed and implemented, which includes model transformation, model verification, error locating and other modules. Recently, Business Process Modeling Notation (BPMN) has been widely adopted as a business process description language for guiding service composition. Because the structure of BPMN is relatively flexible and lack of formal representation，it is much easier to have errors than other models. Meanwhile, the design complexity is high in large network application, and model design faults will occur inevitably. The correctness of business process model is a challenge in the field of composite service. Model verification is an important means to guarantee the correctness and trustworthiness of composite service process, and it can detect the existing problems, which is significant to verify the soundness of composite service and modify the model design. The main works of the project are as follow: • This project defines the XML-based meta-model for major BPMN v1.1 elements and implements a Web-based graphical modeling tool. • To guarantee the need of verification, this project proposes a verification method based on Petri nets. On the premise of ensuring the execution semantics, this project provides a mapping mechanism which translates BPMN models to Petri net models, and provides an automatic layout method for Petri net models as well. • A verification tool is designed and implemented, which includes model transformation, model verification, error locating and other modules.
Roadmap Short term plan: We hope to build a user community for BPIDE-Lite through opening its source code with the support of OW2 community. Long term plan: We hope that we can add a function of Time constraint verification in the future. The main aim of this time constraint verification is to examine that, under the influence of prescriptive time parameter, whether there is schedulability of time before executing model deployment of the composite service. Short term plan: We hope to build a user community for BPIDE-Lite through opening its source code with the support of OW2 community. Long term plan: We hope that we can add a function of Time constraint verification in the future. The main aim of this time constraint verification is to examine that, under the influence of prescriptive time parameter, whether there is schedulability of time before executing model deployment of the composite service.
Your project and OW2 The OW2 Community requires that projects hosted by it must be consistent with the mission as follow: they are middleware project aiming at facilitating the development, deployment and management of distributed applications and their proponents commit to participate in developing the OW2 community and business ecosystem. BPIDE-lite is focusing on facilitating the development of service-oriented applications, which certainly satisfies the requirement of the OW2 Community. The OW2 Community requires that projects hosted by it must be consistent with the mission as follow: they are middleware project aiming at facilitating the development, deployment and management of distributed applications and their proponents commit to participate in developing the OW2 community and business ecosystem. BPIDE-lite is focusing on facilitating the development of service-oriented applications, which certainly satisfies the requirement of the OW2 Community.
Project News OW2 Latest News RSS Feeds
More ...

Press Releases OW2 Press Releases RSS Feeds
More ...
Powered by XWiki Hosted by Xsalto Free PageRank Checker Creative Commons 2.0 license Legal Notice