Title :
BTOZ: a formal specification language for formalizing business transactions
Author :
Alagar, V.S. ; Periyasamy, K.
Author_Institution :
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
Abstract :
Business rules are statements constraining business actions, they are context dependent, and may remain unchanged over a long period of time. The dynamic application of business rules to business actions requires a clear separation of the actions from the rules so that changes to business rules can be done without affecting the actions on which they are applied. In addition, rules can also be applied to a family of implementations of a business action. The paper introduces a formal theoretical business model and a specification language to write business rules. This language, called Business Transaction Object-Z (BTOZ), is a conservative extension of the Object-Z specification language. The paper also illustrates through a case study how BTOZ can be used to develop a business model
Keywords :
business data processing; formal specification; object-oriented languages; specification languages; transaction processing; BTOZ; Business Transaction Object-Z; Object-Z specification language; business actions; business model development; business rules; business transaction formalization; case study; conservative extension; context dependent rules; dynamic application; formal specification language; formal theoretical business model; specification language; Collaboration; Computer science; Councils; Cultural differences; Formal specifications; Humans; Protocols; Specification languages;
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 2001. TOOLS 39. 39th International Conference and Exhibition on
Conference_Location :
Santa Barbara, CA
Print_ISBN :
0-7695-1251-8
DOI :
10.1109/TOOLS.2001.941677