• DocumentCode
    2931145
  • Title

    Combining ECA Rules with Process Algebras for the Semantic Web

  • Author

    Behrends, Erik ; Fritzen, Oliver ; May, Wolfgang ; Schenk, Franz

  • Author_Institution
    Inst. fur Informatik, Univ. Gottingen
  • fYear
    2006
  • fDate
    Nov. 2006
  • Firstpage
    29
  • Lastpage
    38
  • Abstract
    We describe how event-condition-action (ECA) rules can be combined with process algebras like CCS as specification of the action part to obtain a powerful, declarative formalism that also covers intuitively procedural tasks in an appropriate way. Since both formalisms have a concise formal semantics, verification and other kinds of reasoning about such specifications are possible. Using a rule markup with cleanly distinguished rule components allows for such a compositional approach. The approach is currently under implementation in a general ECA Framework for the Web and the Semantic Web
  • Keywords
    process algebra; semantic Web; ECA rules; Semantic Web; event-condition-action rules; formal semantics; formal verification; process algebras; rule markup; Algebra; Carbon capture and storage; Companies; Database languages; Delay; Educational institutions; Ontologies; Proposals; Semantic Web; Service oriented architecture;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Rules and Rule Markup Languages for the Semantic Web, Second International Conference on
  • Conference_Location
    Athens, GA
  • Print_ISBN
    0-7695-2652-7
  • Type

    conf

  • DOI
    10.1109/RULEML.2006.8
  • Filename
    4032388
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2931145