• DocumentCode
    3633228
  • Title

    Modeling of capabilities of a system in algebraic manner

  • Author

    Petr Pinkas;Jana Kleckova

  • Author_Institution
    Department of Computer Science and Engineering, University of West Bohemia
  • fYear
    2009
  • Firstpage
    458
  • Lastpage
    463
  • Abstract
    In this paper, we offer a new approach to modeling of a system. We show that a state (from an outer point of view) can be regarded as a capability of the system to participate in interactions with the environment. In addition, we describe the capability by a mathematical object. Finally, we define a simple calculus over capabilities and show that capabilities of the system are a solution of a system of equations in the calculus.
  • Keywords
    "Carbon capture and storage","Calculus","Equations","Computer science","Unified modeling language","State-space methods","Mathematics"
  • Publisher
    ieee
  • Conference_Titel
    Networked Digital Technologies, 2009. NDT ´09. First International Conference on
  • ISSN
    2155-8728
  • Print_ISBN
    978-1-4244-4614-8
  • Electronic_ISBN
    2155-8736
  • Type

    conf

  • DOI
    10.1109/NDT.2009.5272168
  • Filename
    5272168