The component port representation for these constraints valid in cbaseline is the following: type(X, car) as val(X, type, ... by traversing the derived context hierarchy , translating the contextual diagrams into the component port representation, and adding the result to DD. ... The work is focused on getting precise definitions of the employed concepts for general models. ... However, the automated generation of logic-based knowledge bases by exploiting a formal definition of standardanbsp;...
|Title||:||UML 2000 - The Unified Modeling Language. Advancing the Standard|
|Author||:||Andy Evans, Stuart Kent, Bran Selic|
|Publisher||:||Springer - 2003-06-29|