Glossary

A

Action selection

Automated planning and scheduling

B

Backward chaining

Business process

Business process modeling

C

Component-based software engineering

Concurrency

Control flow

Control-flow diagram

Control-flow graph

D

Dataflow

Dataflow diagram

Domain-driven design

E

Explainable artificial intelligence

F

Forward chaining

G

Graphplan

H

Heuristic

Hierarchical task network

M

Markov decision process

Model checking

O

Ontology

Orchestration

P

Partial-order planning

Partially observable Markov decision process

Preference-based planning

Process ontology

Program synthesis

Propositional satisfiability

S

Satplan

Service choreography

Service-oriented architecture

Service-oriented modeling

Solver

State space

State space planning

State space search

Synchronization

W

Web service

Workflow