Formal analysis of executions of organizational scenarios based on process-oriented specifications.

Viara Popova Alexei Sharpanskykh

Published in: Appl. Intell. (2011)

Keyphrases

formal analysis
process oriented
computer supported
information systems
goal oriented
information technology
formal methods
ban logic
agent model
knowledge sharing
formal specification
database
software development
black box
knowledge management
virtual environment