Issue 18937: ports in modules (ifml-ftf)
Source: WebRatio Inc (Dr. Marco Brambilla, marco.brambilla(at)webratio.com)
Nature: Revision
Severity: Minor
Summary: Min cardinality of relation Module--Port must be 0: a Module may have 0 Ports.
Resolution: fixed minimum cardinality for associations in the metamodel, both for Module/Port and ModuleDefinition/PortDefinition and text updated. Constraint onlyOnePortPerPortDefinition  added for describing relation between Ports and PortDefinitions.
Revised Text: In Clause 8.3.34 Module:

Module has a reference to the relevant ModuleDefinition and may be associated with a set of Ports, which in turn reference the corresponding PortDefinitions.
For every PortDefinition in the ModuleDefinition there shall be 0 or 1 Ports in each corresponding Module.

Constraints
•	onlyOnePortPerPortDefinition
self.moduleDefinition.portDefinitions -> forAll(pd | pd.ports -> select(p|p.module = self) -> size() = 1)
Association Ends
•	ports[0..*]: Port - Ports that collect InteractionFlows and Parameters incoming or outgoing from the Module.
•	ModuleDefinition [1]: ModuleDefinition – The ModuleDefinition that is instantiated by the current Module. 


Actions taken:
September 17, 2013: received issue
July 15, 2014: closed issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 17 Sep 2013 08:04:24 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Marco Brambilla
Employer:        WebRatio
mailFrom:        marco.brambilla@webratio.com
Terms_Agreement: I agree
Specification:   IFML
Section:         -
FormalNumber:    ptc/2013-03-08
Version:         1.0 - Beta 1
Doc_Year:        2013
Doc_Month:       March
Doc_Day:         20
Page:            -
Title:           ports in modules
Nature:          Revision
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue
Remote Name:     nat1.como.polimi.it
Remote User:     
HTTP User Agent: Mozilla/5.0 (Windows NT 6.2; WOW64; rv:23.0) Gecko/20100101 Firefox/23.0
Time:            08:04 AM


Description:

Min cardinality of relation Module--Port must be 0: a Module may have 0 Ports.