Towards the Correctness Verifcation of Business Processes Modelled with UML.
Luis Eduardo MendozaManuel I. CapelKawtar Benghazi AkhlakiPublished in: JISBD (2008)
Keyphrases
- mobile agents
- business processes
- business process
- workflow systems
- business process modeling
- web services
- metamodel
- software systems
- workflow management systems
- process model
- database design
- process management
- modeling language
- business environment
- business partners
- object oriented
- competitive advantage
- business rules
- formal methods
- inter organizational
- conceptual modeling
- workflow management
- software engineering
- business applications
- business process management
- model driven development
- enterprise application integration
- process execution
- software development
- model driven architecture
- service oriented architecture
- business process models
- data mining
- business objectives
- workflow processes
- conflict resolution