Abstract
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.
Keywords
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsRights and permissions
Copyright information
© 2007 Birkhäuser Verlag AG
About this chapter
Cite this chapter
(2007). Extension of OCL. In: The Agent Modeling Language - AML. Whitestein Series in Software Agent Technologies and Autonomic Computing. Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-8396-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-7643-8396-1_17
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-8395-4
Online ISBN: 978-3-7643-8396-1
eBook Packages: Computer ScienceComputer Science (R0)