The GRITIKA Ontology for Modeling e-Service Applications: Formal Specification and Illustration.
Hong ZhangRajiv KishoreRaj SharmanRam RameshPublished in: HICSS (2004)
Keyphrases
- formal specification
- protocol specification
- specification language
- specification languages
- object oriented design
- model checking
- reverse engineering
- formal methods
- data abstraction
- domain knowledge
- knowledge representation
- process algebra
- service discovery
- knowledge base
- domain ontology
- web services
- semantic web
- object oriented systems
- object oriented
- concurrent systems
- cooperative
- case study