Applying the Architectural Semantics of ODP to Develop a Trader Specification.

Richard O. Sinnott Kenneth J. Turner

Published in: Comput. Networks ISDN Syst. (1997)

Keyphrases

specification language
high level
conceptual model
logic programming
formal language
formal semantics
operational semantics
search engine
action language
process algebra
specification languages
model checking
control flow