Concepedia

Contract Composition

Contract Composition is a methodological framework in smart contract development that integrates multiple modular contracts into a cohesive system through well-defined interfaces and interaction protocols, enabling reusable, scalable, and interoperable decentralized applications.

25

Publications

1.3K

Citations

67

Authors

37

Institutions

Publications per year

2017–2026

8

Parents

Publications

25

Contracts: specifying behavioral compositions in object-oriented systems

Richard F. Helm, Ian M. Holland, Dipayan Gangopadhyay · 1990 · 500 citations

, , +16

Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations

Sidney Rosario, Albert Benveniste, Stefan Haar et al. · IEEE Transactions on Services Computing · 2008 · 129 citations · Full text

, , +12

Contracts: specifying behavioral compositions in object-oriented systems

Richard F. Helm, Ian M. Holland, Dipayan Gangopadhyay · ACM SIGPLAN Notices · 1990 · 92 citations · Full text

, , +16

Understanding the multiple functions of construction contracts: the anatomy of FIDIC model contracts

Yongqiang Chen, Wenqian Wang, Shuibo Zhang et al. · Construction Management and Economics · 2018 · 51 citations

, , +14

A Foundational Theory of Contracts for Multi-party Service Composition

Mario Bravetti, Gianluigi Zavattaro · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2008 · 50 citations

, , +9

1–5 of 25

Authors

67

  1. PN
    Pierluigi Nuzzo

    University of California, Berkeley, United States

    3 publications · 56 citations

    3

    h-index

  2. AS
    Alberto Sangiovanni‐Vincentelli

    University of California, Berkeley, United States

    3 publications · 71 citations

    3

    h-index

  3. II
    Inigo Incer

    University of California, Berkeley, United States

    2 publications · 40 citations

    2

    h-index

  4. EK
    Eunsuk Kang

    Carnegie Mellon University, United States

    2 publications · 35 citations

    2

    h-index

  5. RF
    Richard F. Helm

    Virginia Tech, United States

    2 publications · 592 citations

    2

    h-index

1–5 of 67

Institutions

37

  1. University of California, Berkeley

    Berkeley, United States

    3 h-index

    8 publications

    204 citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    4 publications

    87 citations

  3. University of Pisa

    Pisa, Italy

    2 h-index

    4 publications

    94 citations

  4. Northeastern University

    Boston, United States

    2 h-index

    2 publications

    592 citations

  5. Imperial College London

    London, United Kingdom

    2 h-index

    4 publications

    127 citations

  6. University of Trento

    Trento, Italy

    2 h-index

    3 publications

    45 citations

  7. Centre Inria de l'Université de Rennes

    Rennes, France

    2 h-index

    4 publications

    298 citations

  8. IBM Research - Thomas J. Watson Research Center

    Yorktown Heights, United States

    2 h-index

    4 publications

    1.2K citations

1–8 of 37

Venues

  1. ACM Transactions on Embedded Computing Systems

    TECS · 2 publications · 31 citations

    2

    h-index

  2. 1

    h-index

  3. IEEE Transactions on Services Computing

    1 publications · 129 citations

    1

    h-index

  4. Formal Methods in System Design

    1 publications · 12 citations

    1

    h-index

  5. 1

    h-index

1–5