Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets.
Dirk FahlandChristian GierdsPublished in: CAiSE (2013)
Keyphrases
- coloured petri nets
- enterprise application integration
- formal verification
- information management
- enterprise wide
- case study
- seamless integration
- business applications
- distributed systems
- knowledge management
- data integration
- business processes
- design space
- virtual enterprise
- business process management
- heterogeneous environments
- management tools
- publish subscribe
- low level
- relational databases
- genetic algorithm