Issue 16652: InstanceSpecifications for exactly one instance (sysml-rtf)
Source: NASA (Dr. Nicolas F. Rouquette, nicolas.f.rouquette(at)jpl.nasa.gov)
Nature: Revision
Severity: Significant
Summary: InstanceSpecifications describe sets of instances, including the empty set, but some applications need to describe exactly one instance.  SysML should have InstanceSpecifications that are constrained to describe exactly one instance, like the owlIndividual stereotype in the Ontology Definition Metamodel.
Resolution: Defer

Postponed to the next RTF
Revised Text: 
Actions taken:
November 7, 2011: received issue
January 3, 2017: Deferred
April 6, 2017: closed issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 07 Nov 2011 14:44:12 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Nicolas Rouquette
Employer:        NASA
mailFrom:        nicolas.f.rouquette@jpl.nasa.gov
Terms_Agreement: I agree
Specification:   Systems Modeling Language
Section:         Blocks
FormalNumber:    ptc/2011-08-09
Version:         1.3
Doc_Year:        2011
Doc_Month:       September
Doc_Day:         01
Page:             
Title:           InstanceSpecifications for exactly one instance
Nature:          Revision
Severity:        Significant
CODE:            3TMw8
B1:              Report Issue


Description:

InstanceSpecifications describe sets of instances, including the empty set, but some applications need to describe exactly one instance.  SysML should have InstanceSpecifications that are constrained to describe exactly one instance, like the owlIndividual stereotype in the Ontology Definition Metamodel.