Media type: E-Book; Thesis Title: Behavioral service substitution : analysis and synthesis Contributor: Parnjai, Jarungjit [Author]; Reisig, Wolfgang [Degree supervisor]; Schlingloff, Holger [Degree supervisor]; Wolf, Karsten [Degree supervisor] Published: Berlin: Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2013 Extent: Online-Ressource Language: English Identifier: Keywords: Service ; Verfeinerung ; Konformität ; Serviceautomat ; Bedienungsanleitung ; Kontroller ; maximaler Kontroller ; service substitution ; service evolution ; service composition ; correctness ; deadlock freedom ; service ; responsiveness ; compatibility ; conformance ; refinement ; failure refinement ; service automaton ; operating guidelines ; controller ; maximal controller ; Serviceersetzung ; Serviceevolution ; [...] Origination: University thesis: Berlin, Humboldt Universität zu Berlin, Diss., 2013 Footnote: Access State: Open Access