[mdt-ocl.dev] FW: OCL checking engine

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[mdt-ocl.dev] FW: OCL checking engine

From: "Lin, Jianjie" <jianjie.lin@xxxxxx>
Date: Tue, 15 Feb 2022 17:52:02 +0000
Accept-language: de-DE, en-US
Delivered-to: mdt-ocl.dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/mdt-ocl.dev/>
List-help: <mailto:mdt-ocl.dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/mdt-ocl.dev>, <mailto:mdt-ocl.dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/mdt-ocl.dev>, <mailto:mdt-ocl.dev-request@eclipse.org?subject=unsubscribe>
Thread-index: Adgijtj8jn/4qyz4Q8+mKw8lcRNrigABdvRQ
Thread-topic: OCL checking engine

Dear OCL Developer Team,

I am using the OCL in the eclipse for the modeling checking. I am curious to know which engine is used in the Eclipse for model verification.

I am trying to figure out on the Internet. However, no solution is found. It is great if you can help me.

Thank you very much

Mit freundlichen Grüßen

Jianjie Lin

------------------------------------------------------------------

Jianjie Lin

Technical University of Munich

Department of Informatics

Chair of Robotics, Artificial Intelligence, and Real-Time Systems

Boltzmannstr. 3

85748 Garching bei München

Prev by Date: Re: [mdt-ocl.dev] Including OCL grammar into an Xtext based DSL
Next by Date: [mdt-ocl.dev] +0.0.1 rather than +0.1.0 for OCL, QVTd for 2022-03
Previous by thread: [mdt-ocl.dev] Including OCL grammar into an Xtext based DSL
Next by thread: [mdt-ocl.dev] +0.0.1 rather than +0.1.0 for OCL, QVTd for 2022-03
Index(es):
- Date
- Thread

Back to the top