scholarly journals Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models

Author(s):  
Alban Rasse ◽  
Jean-Marc Perronne ◽  
Pierre-Alain Muller ◽  
Bernard Thirion
2003 ◽  
Vol 17 (1) ◽  
pp. 43-61 ◽  
Author(s):  
Peter Verdaasdonk

Present accounting data models such as the Resource-Event-Agent (REA) model merely focus on the modeling of static accounting phenomena. In this paper, it is argued that these models are not able to provide relevant ex ante accounting data for operations management decisions. These decisions require dynamic descriptions of the consequences of alternative future courses of actions and the resulting events. Therefore, a new object-oriented model is presented that enables the use of ex ante accounting data for this purpose. In comparison to the REA model, the object-oriented model presented in this paper includes new static aspects as “recipes,” “potential contracts,” and “reservations,” together with behavioral aspects expressed as theoretical scripts for the retrieval of relevant accounting data.


1993 ◽  
Vol 38 (11) ◽  
pp. 1239-1240
Author(s):  
Terri Gullickson ◽  
Pamela Ramser
Keyword(s):  

2000 ◽  
Vol 147 (3) ◽  
pp. 61 ◽  
Author(s):  
V. Cortellessa ◽  
G. Iazeolla ◽  
R. Mirandola

IEE Review ◽  
1990 ◽  
Vol 36 (9) ◽  
pp. 338
Author(s):  
Stephen Wilson

Sign in / Sign up

Export Citation Format

Share Document