Sciweavers

1134 search results - page 13 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
UML
1999
Springer
15 years 1 months ago
Mixing Visual and Textual Constraint Languages
The Object Constraint Language (OCL) is a precise language for notating behavioural constraints on UML models. Constraint diagrams have been proposed as a means of notating similar...
Stuart Kent, John Howse
UML
2004
Springer
15 years 2 months ago
Applying Refactoring Techniques to UML/OCL Models
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
Alexandre L. Correa, Cláudia Maria Lima Wer...
AIL
2008
109views more  AIL 2008»
14 years 9 months ago
Artificial institutions: a model of institutional reality for open multiagent systems
Software agents' ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, ...
Nicoletta Fornara, Francesco Viganò, Mario ...
KES
2004
Springer
15 years 2 months ago
Managing Ontology Evolution Via Relational Constraints
Abstract. Ontology-based modelling is becoming increasingly important in the design of complex knowledge management applications. However, many problems related to large-scale onto...
Paolo Ceravolo, Angelo Corallo, Gianluca Elia, Ant...
AI
2007
Springer
14 years 9 months ago
Learning action models from plan examples using weighted MAX-SAT
AI planning requires the definition of action models using a formal action and plan description language, such as the standard Planning Domain Definition Language (PDDL), as inp...
Qiang Yang, Kangheng Wu, Yunfei Jiang