Search
Now showing items 1-2 of 2
Verifying social expectations by model checking truncated paths
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectations, together with infrastructure supporting ...
Bridging the gap between the model-driven architecture and ontology engineering
Software engineers have many robust commercial tools available to them for creating and manipulating models. Due to the widespread adoption of the Object Management Group (OMG) standards for metamodel definition, model ...