SysML and OCL

[jikim]

Is there any relationship between OCL(Object Constraining Language) and
SysML?

[skander turki]

OCL is a tool that is used to express constraints, it adds semantics to a
construct, per example if you link an OCL constraint to a composition
association you may say that this element contains no more than 50 of the
other!
As the SysML is a profile of UML2.0, ans as OCL is used with UML 2.0, i
think there's no problem to use OCL with SysML so that we can express
constraints with a formal tool and not just in a natural language like
"english".

[Payam Panjeh Shahi]

Dear Friends

Is there anyone working on verfication and validation of Sysml diagrams ?

cheers
payam

[Rao, Madwaraj (UMR)]

I am a new graduate student at University of Missouri Rolla and I am
pursuing Systems Engineering. I am supposed to use SysML for my thesis
and I was wondering when the software would be released in order to work
on it.
Pls let me know if any of you have an idea.
Rgds,
Raj

[turki skander]

Mr charles Andre who is working on the semantics of SysML and UML 2.0 told me tools would be released by the end of 2005 , when the specification will be adopted!

---

Découvrez le nouveau Yahoo! Mail : 250 Mo d'espace de stockage pour vos mails !
Créez votre Yahoo! Mail

[Friedenthal, Sanford]

Payam,

Our current form of validation has been primarily through a series of
stakeholder reviews. Early in the process, the reviews focused on the
requirements for the systems modeling language that were specified in
the UML for Systems Engineering RFP that was issued by the OMG in March
2003. Since then, the stakeholder reviews have focused on the SysML
approach and the extent to which SysML addresses the needs of the
stakeholders. There is a requirements traceability matrix in the
Appendix of the SysML specification that shows how each requirement from
the UML for SE RFP is being addressed by SysML. We are still in the
process of formalizing SysML compliance points that will clearly define
what it means for a tool vendor to be compliant with SysML. As we
proceed to the next phase of SysML, we will look to the SysML tool
vendors to validate that the SysML specification is implementable in
their tools, and we will look to continued user feedback to validate the
value of the diagrams to their systems engineering efforts. Thanks for
the question.

Sandy

Sanford Friedenthal
SysML Cochair
Lockheed Martin Corp
(703) 293-5557

-----Original Message-----
From: Payam Panjeh Shahi [mailto:panje...@gmail.com]
Sent: Friday, February 04, 2005 11:26 PM
To: SysML...@googlegroups.com
Subject: SysMLforum Re: SysML and OCL