Kaifeng Chen, School of Computer Science and Engineering, Beihang University, Beijing, China, firstname.lastname@example.org
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.
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.
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.
Kaifeng Chen, School of Computer Science and Engineering, Beihang University, Beijing, China, email@example.comHailong Sun, School of Computer Science and Engineering, Beihang University, Beijing, China, firstname.lastname@example.orgChune Li, School of Computer Science and Engineering, Beihang University, Beijing, China, Lichune@act.buaa.edu.cnXu Wang, School of Computer Science and Engineering, Beihang University, Beijing, China, email@example.comYue Lu, School of Computer Science and Engineering, Beihang University, Beijing, China, firstname.lastname@example.orgMeng Zhang, School of Computer Science and Engineering, Beihang University, Beijing, China, email@example.com
Our project does not have a user community yet due to lack of marketing propaganda. But we believe some potential user communities, such as service-oriented software researchers and engineers and cloud middleware developers, will be interested in the project.
(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.
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.
Yes, but we have got no idea of how to proceed.
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.
Forge, mailing lists, SVN, project home page
BPIDE-Lite may have a synergy with Orchestra to support the verification function.
BPMN specification V1.1.
SOA has become a new paradigm for web applications. BPIDE-Lite is a project focusing on facilitating the development of service-oriented applications. It will attract more users and contributors that have interest in SOA and cloud computing to the OW2 community.
As we know, OW2 is one leading open source communities in the world. Compared with other communities, it mainly focuses on middleware, and is the promoter and pioneer of open source cloud computing technology, which perfectly meets the technology direction of BPIDE-Lite. Before we have had a good basis of cooperation with OW2 in many fields, and Beihang University is also one of the strategic members of OW2. So we think OW2 is the right host for our project.
Lesser General Public License 3.0
This wiki is licensed under a Creative Commons 2.0 licenseXWiki Enterprise 6.4.4 - Documentation