Combining Aspects of Reactive Systems

For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implications for selecting or constructing appropriate models for specific application domains are rarely addressed. We classify and compare different specification methods for distributed systems concerning communication, behavior, and causality. We discuss the implications of these dimensions, especially concerning the combination of their properties.

• Type: Conference
• Year: 2003
• Where: ERSHOV
• Authors: Leonid Kof, Bernhard Schätz
• Keywords: ERSHOV 2003, Formal Models, Methodical Implications, Specific Application Domains