The Bridge from Domaln Modeling to Formal Specification in the Service Creation Process.
Peter KoppsteinMargaret E. NilsonPublished in: ICSI (1990)
Keyphrases
- formal specification
- creation process
- protocol specification
- specification languages
- specification language
- process algebra
- model checking
- object oriented design
- reverse engineering
- concurrent systems
- formal methods
- data abstraction
- expert systems
- database
- web services
- model checker
- service discovery
- fine grained
- knowledge management
- database systems
- knowledge base
- information systems
- machine learning