Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Spatial Edge Services - From Coordination Model to Actual Applications Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

Full-Abstraction for Must Testing Preorders

(Extended Abstract)

verfasst von : Giovanni Bernardi, Adrian Francalanza

Erschienen in: Coordination Models and Languages

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The client \({\mathsf {must}}\) preorder relates tests (clients) instead of processes (servers). The existing characterisation of this preorder is unsatisfactory for it relies on the notion of usable clients which, in turn, are defined using an existential quantification over the servers that ensure client satisfaction. In this paper we characterise the set of usable clients for finite-branching LTSs, and give a sound and complete decision procedure for it. We also provide a novel coinductive characterisation of the client preorder, which we use to argue that the preorder is decidable, thus positively answering the question opened in [3, 6].

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Verifying Timed BPMN Processes Using Maude
Nächstes Kapitel Communication Requirements for Team Automata
Fußnoten
1
Function \(\min \) is not defined for empty sets, thus \( rank (r)\) is undefined whenever r is unusable.
 
2
The restriction of the left hand side of the inclusion of Definition 6(3b) by https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-59746-1_13/450044_1_En_13_IEq404_HTML.gif is superfluous.
 
Literatur
1.
Andersen, J.R., Andersen, N., Enevoldsen, S., Hansen, M.M., Larsen, K.G., Olesen, S.R., Srba, J., Wortmann, J.K.: CAAL: concurrency workbench, Aalborg edition. In: Leucker, M., Rueda, C., Valencia, F.D. (eds.) ICTAC 2015. LNCS, vol. 9399, pp. 573–582. Springer, Cham (2015). doi:10.​1007/​978-3-319-25150-9_​33 CrossRef
2.
Barbanera, F., de’Liguoro, F.: Two notions of sub-behaviour for session-based client/server systems. In: PPDP (2010)
3.
Bernardi, G.: Behavioural equivalences for web services. Ph.D. thesis, TCD (2013)
4.
5.
Bernardi, G., Hennessy, M.: Modelling session types using contracts. In: SAC (2012)
6.
7.
Bernardi, G., Hennessy, M.: Using higher-order contracts to model session types. LMCS 12(2), 1–43 (2016)
8.
Bravetti, M., Zavattaro, G.: A foundational theory of contracts for multi-party service composition. Fundam. Inf. 89(4), 451–478 (2008)MathSciNetMATH
9.
Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. ACM Trans. Program. Lang. Syst. 31(5), 1–61 (2009)CrossRefMATH
10.
Cerone, A., Hennessy, M.: Process behaviour: formulae vs. tests. In: EXPRESS (2010)
11.
Clarke, E., Veith, H.: Counterexamples revisited: principles, algorithms, applications. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 208–224. Springer, Heidelberg (2003). doi:10.​1007/​978-3-540-39910-0_​9 CrossRef
12.
13.
14.
15.
Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)MATH
16.
Knuth, D.E.: The Art of Computer Programming, Volume 1 (3rd Ed.): Fundamental Algorithms. Addison Wesley Longman Publishing Co., Inc., Redwood City (1997)
17.
König, D.: Über eine schlussweise aus dem endlichen ins unendliche. Acta Litt. ac. sci. Szeged 3, 121–130 (1927)
18.
19.
Luo, Q., Hariri, F., Eloussi, L., Marinov, D.: An empirical analysis of flaky tests. In: FSE (2014)
20.
Marinescu, P., Hosek, P., Cadar, C.: Covrig: a framework for the analysis of code, test, and coverage evolution in real software. In: ISSTA (2014)
21.
22.
Memon, A.M., Cohen, M.B.: Automated testing of GUI applications: models, tools, and controlling flakiness. In: ICSE (2013)
23.
Milner, R.: Communication and Concurrency. Prentice-Hall, Upper Saddle River (1989)MATH
24.
Mooij, A.J., Stahl, C., Voorhoeve, M.: Relating fair testing and accordance for service replaceability. J. Log. Algebr. Program. 79(3–5), 233–244 (2010)MathSciNetCrossRefMATH
25.
26.
27.
Pierce, B.: Types and Programming Languages. MIT Press, Cambridge (2002)MATH
28.
29.
Spaccasassi, C.: Language support for communicating transactions. Ph.D. thesis, TCD, (2015)
30.
31.
Winskel, G.: The Formal Semantics of Programming Languages: An Introduction. MIT Press, Cambridge (1993)MATH
Metadaten
Titel
Full-Abstraction for Must Testing Preorders
verfasst von
Giovanni Bernardi
Adrian Francalanza
Copyright-Jahr
2017
Buch
Coordination Models and Languages

Print ISBN: 978-3-319-59745-4

Electronic ISBN: 978-3-319-59746-1

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-59746-1_13

Premium Partner

    Bildnachweise