A Contract-Oriented Middleware

No abstract is available for this paper.

• Publication year

  2015

• Venue

  International Workshop on Formal Aspects of Component Software

• Publication date

  2015-10-14

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-28934-2_5
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Protection

  2018cited by this paper
• Compliance and Subtyping in Timed Session Types

  2015cited by this paper
• A Calculus of Mobile Processes, I

  2015cited by this paper
• Compliance in Behavioural Contracts: A Brief Survey

  2015cited by this paper
• Meeting Deadlines Together

  2015cited by this paper
• Timed runtime monitoring for multiparty conversations

  2014cited by this paper
• Timed Multiparty Session Types

  2014influential reference
• Analysis on Eye Movement Indexes Based on Simulated Flight Task

  2014cited by this paper
• The Discrete Event Simulation Framework DESMO-J: Review, Comparison To Other Frameworks And Latest Development

  2013influential reference
• MultiVeStA: statistical model checking for discrete event simulators

  2013influential reference
• Contract-Oriented Computing in CO2

  2012cited by this paper
• Efficient Tabling of Structured Data Using Indexing and Program Transformation

  2012cited by this paper
• Contract-Oriented Services

  2012cited by this paper
• Behavioral Specification Based Runtime Monitors for OSGi Services

  2012cited by this paper
• Summary of Language primitives and type disciplines for structured communication-based programming

  2011cited by this paper
• A Calculus of Contracting Processes

  2010cited by this paper
• A Theory of Design-by-Contract for Distributed Multiparty Interactions

  2010cited by this paper
• QoS-Aware Service Composition: A Survey

  2010cited by this paper
• A survey of attack and defense techniques for reputation systems

  2009cited by this paper
• Run-Time Enforcement of Nonsafety Policies

  2009cited by this paper
• Multiparty asynchronous session types

  2008cited by this paper
• Behavioural Types for Service Integration: Achievements and Challenges

  2007cited by this paper
• Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication

  2007cited by this paper
• QoS-Aware Service Composition in Dino

  2007cited by this paper
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

  2007cited by this paper
• Adaptive Service Composition in Flexible Processes

  2007cited by this paper
• Efficient algorithms for Web services selection with end-to-end QoS constraints

  2007cited by this paper
• SOA and Web Services: New Technologies, New Standards - New Attacks

  2007cited by this paper
• Towards Contract-based Testing of Web Services

  2005cited by this paper
• TrustGuard: countering vulnerabilities in reputation management for decentralized overlay networks

  2005cited by this paper
• A Tutorial on Uppaal

  2004cited by this paper
• QoS-aware middleware for Web services composition

  2004cited by this paper
• Timed Automata: Semantics, Algorithms and Tools

  2003cited by this paper
• Automated SLA Monitoring for Web Services

  2002cited by this paper
• Playing with time: on the specification and execution of time-enriched LSCs

  2002cited by this paper
• A Case for Message Oriented Middleware

  1999influential reference
• The symbolic model-checking for real-time systems

  1996cited by this paper
• An Interaction-based Language and its Typing System

  1994cited by this paper
• A Theory of Timed Automata

  1994cited by this paper
• A Calculus of Mobile Processes, II

  1992cited by this paper
• An Overview and Synthesis on Timed Process Algebras

  1991cited by this paper
• Concurrent constraint programming

  1989cited by this paper

• SEArch: an execution infrastructure for service-based software systems

  2024cites this paper
• Comparing perfomance abstractions for collective adaptive systems

  2023cites this paper
• A Runtime Environment for Contract Automata

  2022cites this paper
• Rast: A Language for Resource-Aware Session Types

  2020cites this paper
• Smart Contracts Contracts

  2020cites this paper
• Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes

  2019cites this paper
• Input urgent semantics for asynchronous timed session types

  2019cites this paper
• On Urgency in Asynchronous Timed Session Types

  2018cites this paper
• Timed Session Types

  2017cites this paper
• A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems

  2017cites this paper
• Contract-Oriented Design of Distributed Applications: A Tutorial

  2017cites this paper
• Verifiable abstractions for contract-oriented systems

  2017cites this paper
• Transient and Steady-State Statistical Analysis for Discrete Event Simulators

  2017cites this paper
• Statistical Model Checking for Product Lines

  2016cites this paper
• Developing Honest Java Programs with Diogenes

  2016influential citation
• Contractvm : decentralized applications on Bitcoin

  2016cites this paper
• Faderank: An Incremental Algorithm for Ranking Twitter Users

  2016cites this paper
• A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems

  2016cites this paper
• Journal of Logical and Algebraic Methods in Programming

  2015cites this paper
• Compliance and Subtyping in Timed Session Types

  2015cites this paper
• On the Decidability of Honesty and of Its Variants

  2014cites this paper
• Honesty by Typing

  2012cites this paper