Similar to インタフェース記述言語

Remote procedure call

Apache Thrift

D-Bus

DCE/RPC

GRPC

Java remote method invocation

JSON-RPC

.NET Remoting

Sun RPC

RPCGEN

SOAP

XML-RPC

Specification language

ERIL

Meta-Object Facility

TLA+

Formal methods

Business Process Model and Notation

Modeling language

Model transformation language