Syntax and Semantics of Hybrid Components (bibtex)
by , ,
Abstract:
Nowadays, the specification of complex systems is done in a component-based manner to obtain a well-structured design. The Unified Modeling Language (UML) became the standard for the component-based software design of non-safety-critical or non-real-time systems. In order to apply component-based UML models even for such critical, technical systems, Mechatronic UML has been created as extension of UML. To enable automatic generation of source code and to enable automatic analysis techniques like modelchecking, a formally defined semantics is required. Therefore, we define the syntax and the formal semantics of hybrid components and hybrid reconfiguration charts from the Mechatronic UML in this work.
Reference:
Syntax and Semantics of Hybrid Components (Sven Burmester, Holger Giese, Martin Hirsch), Technical report tr-ri-05-264, University of Paderborn, 2005.
Bibtex Entry:
@TechReport{BGH05_ag,
AUTHOR = {Burmester, Sven and Giese, Holger and Hirsch, Martin},
TITLE = {{Syntax and Semantics of Hybrid Components}},
YEAR = {2005},
MONTH = {October},
NUMBER = {tr-ri-05-264},
ADDRESS = {Paderborn, Germany},
INSTITUTION = {University of Paderborn},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2005/tr-ri-05-264.pdf},
ABSTRACT = {Nowadays, the specification of complex systems is done in a component-based manner to obtain a well-structured design. The Unified Modeling Language (UML) became the standard for the component-based software design of non-safety-critical or non-real-time systems. In order to apply component-based UML models even for such critical, technical systems, Mechatronic UML has been created as extension of UML. To enable automatic generation of source code and to enable automatic analysis techniques like modelchecking, a formally defined semantics is required. Therefore, we define the syntax and the formal semantics of hybrid components and hybrid reconfiguration charts from the Mechatronic UML in this work.}
}
Powered by bibtexbrowser