diff --git a/README.md b/README.md index 3f93417..b5c3461 100644 --- a/README.md +++ b/README.md @@ -5,6 +5,7 @@ models were developed in the context of the HOL-OCL and SecureUML projects. ## Models +* **[Controller Calendar:](./controller_calendar)** A simple calendar/meeting model using ControllerUML. * **[Calendar:](./calendar)** A simple calendar/meeting model. * **[Company:](./company)** A simple company model, inspired by the OCL standard. * **[Digraph:](./digraph)** A simple tree like (recursive) data structure. diff --git a/controller_calendar/README.md b/controller_calendar/README.md new file mode 100644 index 0000000..41f29cc --- /dev/null +++ b/controller_calendar/README.md @@ -0,0 +1,9 @@ +# Controller Calendar +A simple calendar model using ControllerUML. + +## Data Sheet +* Format: ArgoUML 0.26 +* Language: SecureUML, ControllerUML + +For further information (license, citation, etc.), please look at the [README.md](../) +of the main directory. diff --git a/controller_calendar/controller_calendar.ocl b/controller_calendar/controller_calendar.ocl new file mode 100644 index 0000000..12f3d26 --- /dev/null +++ b/controller_calendar/controller_calendar.ocl @@ -0,0 +1,35 @@ +-- Copyright (c) 2003-2007 ETH Zurich, Switzerland +-- 2016 The University of Sheffield, UK +-- +-- All rights reserved. +-- +-- Redistribution and use in source and binary forms, with or without +-- modification, are permitted provided that the following conditions are met: +-- +-- * Redistributions of source code must retain the above copyright notice, this +-- list of conditions and the following disclaimer. +-- +-- * Redistributions in binary form must reproduce the above copyright notice, +-- this list of conditions and the following disclaimer in the documentation +-- and/or other materials provided with the distribution. +-- +-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" +-- AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE +-- IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE +-- DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE +-- FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL +-- DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR +-- SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER +-- CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, +-- OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +-- OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. +-- + +-- source: calendar with secureUML + +package ControllerModel + +context OwnerMeeting +inv: self.ctxt.principal.identity.name = self.selectedEntry.owner + +endpackage diff --git a/controller_calendar/controller_calendar.pdf b/controller_calendar/controller_calendar.pdf new file mode 100644 index 0000000..566b28b Binary files /dev/null and b/controller_calendar/controller_calendar.pdf differ diff --git a/controller_calendar/controller_calendar.zargo b/controller_calendar/controller_calendar.zargo new file mode 100644 index 0000000..375eb9b Binary files /dev/null and b/controller_calendar/controller_calendar.zargo differ diff --git a/controller_calendar/controller_calendar_target.pdf b/controller_calendar/controller_calendar_target.pdf new file mode 100644 index 0000000..71b8413 Binary files /dev/null and b/controller_calendar/controller_calendar_target.pdf differ diff --git a/controller_calendar/controller_calendar_target.zargo b/controller_calendar/controller_calendar_target.zargo new file mode 100644 index 0000000..675d4c7 Binary files /dev/null and b/controller_calendar/controller_calendar_target.zargo differ