Writing ODP Enterprise Specifications in Maude.
Francisco DuránAntonio VallecilloPublished in: WOODPECKER (2001)
Keyphrases
- formal specification
- knowledge management
- model checking
- specification language
- operational semantics
- collaborative writing
- information management
- equational theories
- user profiles
- enterprise architecture
- information systems
- open directory project
- reactive systems
- business information
- enterprise systems
- workflow management systems
- business processes
- control flow
- competitive advantage
- asynchronous circuits
- programming language
- delay insensitive
- enterprise information systems
- high level
- written in natural language
- data sets