A formal model of service-oriented dynamic object groups.
Einar Broch JohnsenOlaf OweDave ClarkeJoakim BjørkPublished in: Sci. Comput. Program. (2016)
Keyphrases
- service oriented
- formal model
- highly dynamic
- web services
- workflow management
- service composition
- model driven
- service oriented architecture
- cross organizational
- similar objects
- security properties
- d objects
- formal models
- predicate calculus
- service oriented computing
- virtual enterprise
- scientific workflows
- real time