---
_id: '39403'
abstract:
- lang: eng
  text: The Unified Modeling Language (UML) has received wide acceptance as a standard
    language in the field of software specification by means of different diagram
    types. In a recent version of UML, the textual Object Constraint Language (OCL)
    was introduced to support specification of constraints for UML models. But OCL
    currently does not provide sufficient means to specify constraints over the dynamic
    behavior of a model. This article presents an OCL extension that is consistent
    with current OCL and enables modelers to specify state-related time-bounded constraints.
    We consider the case study of a flexible manufacturing system and identify typical
    real-time constraints. The constraints are presented in our temporal OCL extension
    as well as in temporal logic formulae. For general application, we define a semantics
    of our OCL extension by means of a time-bounded temporal logic based on Computational
    Tree Logic (CTL).
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Flake S, Müller W. Specification of Real-Time Properties for UML Models. In:
    <i>Proceedings of HICSS-35</i>. ; 2002. doi:<a href="https://doi.org/10.1109/HICSS.2002.994469">10.1109/HICSS.2002.994469</a>'
  apa: Flake, S., &#38; Müller, W. (2002). Specification of Real-Time Properties for
    UML Models. <i>Proceedings of HICSS-35</i>. Proceedings of the 35th Annual Hawaii
    International Conference on System Sciences, Big Island, HI, USA . <a href="https://doi.org/10.1109/HICSS.2002.994469">https://doi.org/10.1109/HICSS.2002.994469</a>
  bibtex: '@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification
    of Real-Time Properties for UML Models}, DOI={<a href="https://doi.org/10.1109/HICSS.2002.994469">10.1109/HICSS.2002.994469</a>},
    booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang},
    year={2002} }'
  chicago: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties
    for UML Models.” In <i>Proceedings of HICSS-35</i>. Big Island, HI, USA , 2002.
    <a href="https://doi.org/10.1109/HICSS.2002.994469">https://doi.org/10.1109/HICSS.2002.994469</a>.
  ieee: 'S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,”
    presented at the Proceedings of the 35th Annual Hawaii International Conference
    on System Sciences, Big Island, HI, USA , 2002, doi: <a href="https://doi.org/10.1109/HICSS.2002.994469">10.1109/HICSS.2002.994469</a>.'
  mla: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties
    for UML Models.” <i>Proceedings of HICSS-35</i>, 2002, doi:<a href="https://doi.org/10.1109/HICSS.2002.994469">10.1109/HICSS.2002.994469</a>.
  short: 'S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA ,
    2002.'
conference:
  location: 'Big Island, HI, USA '
  name: Proceedings of the 35th Annual Hawaii International Conference on System Sciences
date_created: 2023-01-24T10:22:12Z
date_updated: 2023-01-24T10:22:16Z
department:
- _id: '672'
doi: 10.1109/HICSS.2002.994469
keyword:
- Unified modeling language
- Logic
- Formal verification
- Real time systems
- Programming profession
- Vehicle dynamics
- Software standards
- Flexible manufacturing systems
- Electronics industry
- Protocols
language:
- iso: eng
place: 'Big Island, HI, USA '
publication: Proceedings of HICSS-35
publication_identifier:
  isbn:
  - 0-7695-1435-9
status: public
title: Specification of Real-Time Properties for UML Models
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39493'
abstract:
- lang: eng
  text: This article presents the animated visual 3D programming language SAM (Solid
    Agents in Motion) for parallel systems specification and animation. A SAM program
    is a set of interacting agents synchronously exchanging messages. The agent's
    behaviour is specified by means of production rules with a condition and a sequence
    of actions each. Actions are linearly ordered and execute when matching a rule.
    In SAM, main syntactic objects like agents, rules, and messages are 3D. These
    objects can have an abstract and a concrete, solid 3D presentation. While the
    abstract representation is for programming and debugging, the concrete representation
    is for animated 3D end-user presentations. After outlining the concepts of SAM
    this article gives two programming examples of 3D micro worlds and an overview
    of the programming environment.
author:
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: W.
  full_name: Rosenbach, W.
  last_name: Rosenbach
citation:
  ama: 'Geiger C, Müller W, Rosenbach W. SAM - An Animated 3D Programming Language.
    In: <i>Proceedings of the IEEE Symposium on Visual Languages</i>. ; 1998. doi:<a
    href="https://doi.org/10.1109/VL.1998.706167">10.1109/VL.1998.706167</a>'
  apa: Geiger, C., Müller, W., &#38; Rosenbach, W. (1998). SAM - An Animated 3D Programming
    Language. <i>Proceedings of the IEEE Symposium on Visual Languages</i>. 1998 IEEE
    Symposium on Visual Languages, Halifax, Canada. <a href="https://doi.org/10.1109/VL.1998.706167">https://doi.org/10.1109/VL.1998.706167</a>
  bibtex: '@inproceedings{Geiger_Müller_Rosenbach_1998, place={Halifax, Canada}, title={SAM
    - An Animated 3D Programming Language}, DOI={<a href="https://doi.org/10.1109/VL.1998.706167">10.1109/VL.1998.706167</a>},
    booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Geiger,
    Christian and Müller, Wolfgang and Rosenbach, W.}, year={1998} }'
  chicago: Geiger, Christian, Wolfgang Müller, and W. Rosenbach. “SAM - An Animated
    3D Programming Language.” In <i>Proceedings of the IEEE Symposium on Visual Languages</i>.
    Halifax, Canada, 1998. <a href="https://doi.org/10.1109/VL.1998.706167">https://doi.org/10.1109/VL.1998.706167</a>.
  ieee: 'C. Geiger, W. Müller, and W. Rosenbach, “SAM - An Animated 3D Programming
    Language,” presented at the 1998 IEEE Symposium on Visual Languages, Halifax,
    Canada, 1998, doi: <a href="https://doi.org/10.1109/VL.1998.706167">10.1109/VL.1998.706167</a>.'
  mla: Geiger, Christian, et al. “SAM - An Animated 3D Programming Language.” <i>Proceedings
    of the IEEE Symposium on Visual Languages</i>, 1998, doi:<a href="https://doi.org/10.1109/VL.1998.706167">10.1109/VL.1998.706167</a>.
  short: 'C. Geiger, W. Müller, W. Rosenbach, in: Proceedings of the IEEE Symposium
    on Visual Languages, Halifax, Canada, 1998.'
conference:
  location: Halifax, Canada
  name: 1998 IEEE Symposium on Visual Languages
date_created: 2023-01-24T11:39:30Z
date_updated: 2023-01-24T11:39:35Z
department:
- _id: '672'
doi: 10.1109/VL.1998.706167
keyword:
- Animation
- Computer languages
- Solids
- Concrete
- Application software
- Virtual reality
- Programming profession
- Switches
- Visualization
- Debugging
language:
- iso: eng
place: Halifax, Canada
publication: Proceedings of the IEEE Symposium on Visual Languages
publication_identifier:
  isbn:
  - 0-8186-8712-6
status: public
title: SAM - An Animated 3D Programming Language
type: conference
user_id: '5786'
year: '1998'
...