artifact
active
artifact:airline-reservation-program

Airline Reservation Program

Example Elephant program demonstrating speech acts, commitments, and input-output specifications; shows distinction between ordering admission (illocutionary) and ensuring actual admission (perlocutionary).

Neighborhood — ranked by edge-count

Concepts (1)

concept
  • Illocutionary Acts
    about
    Speech acts whose success depends only on program state and I/O; distinguished from perlocutionary acts in Elephant framework.