Specification of Distributed Systems with a Combination of Graphica and Formal Languages.
Einar Broch JohnsenWenhui ZhangOlaf OweDemissie B. AredoPublished in: APSEC (2001)
Keyphrases
- distributed systems
- formal languages
- formal language theory
- natural language
- formal language
- distributed environment
- fault tolerant
- fault tolerance
- mobile agents
- operating system
- distributed database systems
- software architecture
- context free grammars
- concurrent systems
- artificial intelligence
- integrity constraints
- loosely coupled
- formal semantics
- pattern languages
- software engineering
- web services
- metadata