User Tools

Site Tools


issue

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
issue [2013/04/06 09:19]
arnaud
issue [2013/05/24 11:58] (current)
arnaud
Line 8: Line 8:
     * Instantiation of links for binary, assembly/​delegation,​ typed connectors, expressed between parts/​parts,​ parts/​partwithports,​ partwithports/​partwithports,​ port/parts, parts/​partwithports     * Instantiation of links for binary, assembly/​delegation,​ typed connectors, expressed between parts/​parts,​ parts/​partwithports,​ partwithports/​partwithports,​ port/parts, parts/​partwithports
     * Instantiation of topologies of values and links which accounts for lower bound multiplicities of ports, parts and connectorEnds (resulting in Empty topologies, Unconnected topologies, Array topologies or Star topologies)     * Instantiation of topologies of values and links which accounts for lower bound multiplicities of ports, parts and connectorEnds (resulting in Empty topologies, Unconnected topologies, Array topologies or Star topologies)
 +    * Instantiation of default values (supports fUML ValueSpecifications,​ + OpaqueExpressions with a behavior)
 +    * Addresses instantiation with multiple levels of hierarchy
  
   * TODOS:   * TODOS:
-    * Review the asserssations ​to make sure they are valid / sufficient+    * Review the assertions ​to make sure they are valid / sufficient
     * Cover typed/n-ary connectors     * Cover typed/n-ary connectors
     * Cover untyped binary connectors     * Cover untyped binary connectors
     * Cover ports typed by interfaces     * Cover ports typed by interfaces
-    * Cover multiple levels of hierarchy +    * Cover structures ​with inifine depth (e.g, A is composed of a : A [1] => make sure that it is detected and that parts are not infinitely ​instantiated)
-    * Cover structure ​with inifine depth (e.g, A is composed of a : A [1] => make sure that it is detected and that parts are not inifinitely ​instantiated)+
issue.txt · Last modified: 2013/05/24 11:58 by arnaud