---
_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: '39474'
abstract:
- lang: eng
  text: Agent-based systems technologies are of emerging interest in the specification
    and implementation of complex systems. This article introduces the CASA agent
    development system which seamlessly combines the BDI (belief desire intention)
    approach with the FIPA agent communication language standard and an integrated
    specification of fuzzy controllers. The behavior of agents is defined by strategies
    which basically correspond to extended guarded Horn clauses with priorities. The
    presented concepts are introduced by an example from computer integrated manufacturing
    (CIM). The example gives the specification of a fuzzy controller for a manufacturing
    station in the context of a holonic manufacturing system (HMS).
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: G.
  full_name: Lehrenfeld, G.
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Volker
  full_name: Paelke, Volker
  last_name: Paelke
citation:
  ama: 'Flake S, Geiger C, Lehrenfeld G, Müller W, Paelke V. Agent-Based Modeling
    for Holonic Manufacturing Systems with Fuzzy Control. In: <i>Proceedings of NAFIPS’99,
    18th International Conference of the North American Fuzzy Information Processing
    Society</i>. IEEE; 1999. doi:<a href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>'
  apa: Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., &#38; Paelke, V. (1999).
    Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. <i>Proceedings
    of NAFIPS’99, 18th International Conference of the North American Fuzzy Information
    Processing Society</i>. 18th International Conference of the North American Fuzzy
    Information Processing Society - NAFIPS, New York, NY, USA . <a href="https://doi.org/10.1109/NAFIPS.1999.781697">https://doi.org/10.1109/NAFIPS.1999.781697</a>
  bibtex: '@inproceedings{Flake_Geiger_Lehrenfeld_Müller_Paelke_1999, place={New York,
    NY, USA }, title={Agent-Based Modeling for Holonic Manufacturing Systems with
    Fuzzy Control}, DOI={<a href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>},
    booktitle={Proceedings of NAFIPS’99, 18th International Conference of the North
    American Fuzzy Information Processing Society}, publisher={IEEE}, author={Flake,
    Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke,
    Volker}, year={1999} }'
  chicago: 'Flake, Stephan, Christian Geiger, G. Lehrenfeld, Wolfgang Müller, and
    Volker Paelke. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy
    Control.” In <i>Proceedings of NAFIPS’99, 18th International Conference of the
    North American Fuzzy Information Processing Society</i>. New York, NY, USA : IEEE,
    1999. <a href="https://doi.org/10.1109/NAFIPS.1999.781697">https://doi.org/10.1109/NAFIPS.1999.781697</a>.'
  ieee: 'S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based
    Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the
    18th International Conference of the North American Fuzzy Information Processing
    Society - NAFIPS, New York, NY, USA , 1999, doi: <a href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>.'
  mla: Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems
    with Fuzzy Control.” <i>Proceedings of NAFIPS’99, 18th International Conference
    of the North American Fuzzy Information Processing Society</i>, IEEE, 1999, doi:<a
    href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>.
  short: 'S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke, in: Proceedings
    of NAFIPS’99, 18th International Conference of the North American Fuzzy Information
    Processing Society, IEEE, New York, NY, USA , 1999.'
conference:
  location: 'New York, NY, USA '
  name: 18th International Conference of the North American Fuzzy Information Processing
    Society - NAFIPS
date_created: 2023-01-24T11:21:53Z
date_updated: 2023-01-24T11:21:57Z
department:
- _id: '672'
doi: 10.1109/NAFIPS.1999.781697
keyword:
- Manufacturing systems
- Fuzzy control
- Multiagent systems
- Control systems
- Concurrent computing
- Specification languages
- Communication standards
- Standards development
- Communication system control
- Computer integrated manufacturing
language:
- iso: eng
place: 'New York, NY, USA '
publication: Proceedings of NAFIPS'99, 18th International Conference of the North
  American Fuzzy Information Processing Society
publication_identifier:
  isbn:
  - 0-7803-5211-4
publisher: IEEE
status: public
title: Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control
type: conference
user_id: '5786'
year: '1999'
...