Extension of OCL
Part of the Whitestein Series in Software Agent Technologies and Autonomic Computing book series (WSSAT)
Formal models of MAS usually use different types of modal family logics to describe the system. Our intention is to allow such expressions to be used within OCL expressions.
KeywordsArtificial Intelligence Formal Model Modal Logic Common Knowledge Temporal Logic
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Birkhäuser Verlag AG 2007