An algebraic specification language for organizational behavior of OOMAS.
Yan ZhangLejian LiaoPublished in: SCTDCP@ASE (2016)
Keyphrases
- specification language
- formal specification
- programming language
- description language
- information systems
- symbolic execution
- software environment
- decision making
- information technology
- requirements specification
- systems development
- software architecture
- knowledge sharing
- model checking
- knowledge management
- general purpose
- knowledge representation
- data model
- cooperative