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
Unable to display preview. Download preview PDF.
© Birkhäuser Verlag AG 2007