Syntax and Semantics of Hybrid Components (bibtex)
Reference:
Sven Burmester, Holger Giese and Martin Hirsch, "Syntax and Semantics of Hybrid Components", Technical Report tr-ri-05-264, University of Paderborn: Paderborn, Germany, October 2005.
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.
Links:
@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},
PDF = {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.}
}
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser