DocumentCode :
3352985
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
fYear :
2001
fDate :
2001
Firstpage :
240
Lastpage :
252
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 2001. TOOLS 39. 39th International Conference and Exhibition on
Conference_Location :
Santa Barbara, CA
ISSN :
1530-2067
Print_ISBN :
0-7695-1251-8
Type :
conf
DOI :
10.1109/TOOLS.2001.941677
Filename :
941677
Link To Document :
بازگشت