文件名称：ocl-examples:使用OCL的（玩具）示例的集合
文件大小：495KB
文件格式：ZIP
更新时间：2024-05-19 12:27:55
benchmark uml ocl hol-ocl
ocl-examples （玩具）示例的集合，这些示例演示了在UML和SecureUML模型的上下文中使用OCL。 大多数模型是在HOL-OCL和SecureUML项目的背景下开发的。 楷模 使用ControllerUML的简单日历/会议模型。 一种简单的日历/会议模型。 受OCL标准启发的简单公司模型。 一种简单的树状（递归）数据结构。 一种简单的/会计模型。 一个简单的卫生系统。 一种简单的发票模型。 一个简单示例。 微型公司示例，用于对管理层次结构进行建模。 一个简单的优先级队列模型。 的UML / OCL模型。 著名的皇室和忠诚者例子。 一个非常简单的玩具示例，显示了一些OCL语法变体。 Simple Chair：一个简单的会议管理系统。 简单文件系统：一个类似于POSIX的简单文件系统模型。 堆栈：一个简单的堆栈。 车辆：车辆和驾驶执照的简单模型
【文件预览】：
ocl-examples-master
----priority_queue()
--------PriorityQueue.pdf(3KB)
--------PriorityQueue.ocl(5KB)
--------README.md(253B)
--------PriorityQueue.zargo(5KB)
----simple_chair()
--------ConcreteSimpleChair01.ocl(2KB)
--------AbstractSimpleChair02.ocl(3KB)
--------ConcreteSimpleChair01.pdf(3KB)
--------SimpleChair.zargo(24KB)
--------AbstractSimpleChair03.ocl(3KB)
--------AbstractSimpleChair04.ocl(4KB)
--------AbstractSimpleChair04.pdf(3KB)
--------README.md(251B)
--------ConcreteSimpleChair02.ocl(2KB)
--------AbstractSimpleChair01.pdf(4KB)
--------AbstractSimpleChair01.ocl(2KB)
--------AbstractSimpleChair03.pdf(3KB)
--------AbstractSimpleChair02.pdf(4KB)
--------ConcreteSimpleChair02.pdf(3KB)
----calendar()
--------calendar.pdf(7KB)
--------calendar.ocl(2KB)
--------README.md(265B)
--------calendar.zargo(7KB)
----vehicles()
--------vehicles.zargo(5KB)
--------vehicles.ocl(3KB)
--------README.md(266B)
--------vehicles.pdf(2KB)
----simple()
--------simple.pdf(2KB)
--------simple.zargo(5KB)
--------README.md(277B)
--------simple.ocl(5KB)
----royals_and_loyals()
--------royals_and_loyals.ocl(17KB)
--------royals_and_loyals.zargo(9KB)
--------README.md(285B)
--------royals_and_loyals.pdf(3KB)
----simple_filesystem()
--------simple_filesystem.pdf(8KB)
--------simple_filesystem.zargo(8KB)
--------simple_filesystem.ocl(6KB)
--------README.md(262B)
----health_system()
--------health_system.zargo(7KB)
--------health_system.ocl(3KB)
--------README.md(245B)
--------health_system.pdf(3KB)
----LICENSE(1KB)
----company()
--------company.pdf(2KB)
--------company.zargo(6KB)
--------README.md(326B)
--------company.ocl(6KB)
----invoicing_orders()
--------InvoicingOrdersCase2.pdf(3KB)
--------InvoicingOrders.pdf(276KB)
--------InvoicingOrdersCase1.pdf(3KB)
--------README.md(2KB)
--------InvoicingOrders.ocl(6KB)
--------InvoicingOrders.zargo(6KB)
----controller_calendar()
--------controller_calendar_target.pdf(7KB)
--------controller_calendar.pdf(7KB)
--------README.md(289B)
--------controller_calendar_target.zargo(9KB)
--------controller_calendar.ocl(2KB)
--------controller_calendar.zargo(9KB)
----README.md(3KB)
----stack()
--------stack.ocl(2KB)
--------stack.zargo(3KB)
--------README.md(251B)
--------stack.pdf(1KB)
----mini_company()
--------mini_company.pdf(1KB)
--------mini_company.ocl(2KB)
--------README.md(277B)
--------mini_company.zargo(4KB)
----rbt()
--------rbt-with-empty-tree-class.pdf(6KB)
--------rbt.ocl(3KB)
--------README.md(1018B)
--------rbt.pdf(6KB)
--------rbt-with-empty-tree-class.zargo(7KB)
--------rbt.zargo(5KB)
----isp()
--------isp.zargo(8KB)
--------README.md(284B)
--------isp.pdf(2KB)
--------isp.ocl(4KB)
----ebank()
--------ebank.pdf(4KB)
--------README.md(255B)
--------ebank.ocl(4KB)
--------ebank.zargo(6KB)
----digraph()
--------digraph.ocl(2KB)
--------digraph.pdf(1KB)
--------README.md(262B)
--------digraph.zargo(3KB)