• DocumentCode
    3342442
  • Title

    The composite algebraic structure over capabilities and actions of a system

  • Author

    Pinkas, P. ; Kleckova, J.

  • fYear
    2009
  • fDate
    9-12 Nov. 2009
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    In this paper, we propose a different approach to modeling of a system that focuses on the capability of the system to participate in interactions with its environment. Furthermore, we use mathematical object to describe this capability. In addition, we show an equivalency (from an outer point of view) between capabilities and states. Finally, we define a composite algebraic structure and then show that capabilities of the system are a solution of a system of equations in this algebraic structure.
  • Keywords
    pi calculus; process algebra; ??-calculus; composite algebraic structure; mathematical object; system equation; system modelling; Calculus; Carbon capture and storage; Computer science; Equations; Mathematics; State-space methods; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Internet Technology and Secured Transactions, 2009. ICITST 2009. International Conference for
  • Conference_Location
    London
  • Print_ISBN
    978-1-4244-5647-5
  • Type

    conf

  • DOI
    10.1109/ICITST.2009.5402562
  • Filename
    5402562