BPIDE-lite is an online business process modeling and service composition tool following BPMN (Business Process Modeling Notation) specification. The goal of this topic is to add verfication function for business process models to verify if the business processes produced by BPIDE-lite contain deadlocks or other inappropirate properties. BPIDE-lite is developed with Adobe Flex techniques. The contesters are required to develop the verification support within Adobe Flex framework.
This wiki is licensed under a Creative Commons 2.0 licenseXWiki Enterprise 6.4.4 - Documentation