BTOZ: A Formal Specification Language for Formalizing Business Transactions.

Vangalur S. Alagar Kasilingam Periyasamy

Published in: TOOLS (39) (2001)

Keyphrases

business transactions
formal specification language
temporal logic
electronic commerce
formal methods
formal specification
business processes
model checking
access control
business process
case study
web services
software engineering