Type Checking Choreography Description Language.
Hongli YangXiangpeng ZhaoZongyan QiuChao CaiGeguang PuPublished in: ICFEM (2006)
Keyphrases
- description language
- type checking
- software architecture
- web services
- data types
- service oriented architecture
- query processor
- abstract data types
- description languages
- relational calculus
- action language
- general purpose
- planning domains
- high level
- search strategy
- knowledge management
- data model
- data structure
- case study