Abstract
Recent database research has given much attention to the specification of “flexible” transactions that can be used in interoperable systems. Starting from a quite different angle, Business Process Modelling has approached the area of communication modelling as well (the Language/Action perspective). The main goal of this paper is to provide some useful structuring mechanisms for interoperable transactions based on the Language/Action perspective. The paper thus tries to build a bridge between two rather separated worlds: the research on interoperable transactions on the one hand, and the research on business process models on the other. Extended deontic logic provides the material for this bridge. To better structure the specification, a distinction is proposed between the transaction level, the task level, and the contract.
Chapter PDF
References
G. Alonso, D. Agrawal, A. El Abbadi, M. Kamath, R. Gunthor, C. Mohan, “Advanced Transaction Models in Workflow Contexts”, In: Proc. of the 12th Int Conf on Data Engineering, New Orleans, Lousiana, March 1996.
A. Buchmann, M. Tamer Özsu, M. Hornick, D. Georgakopoulos, F. Manola, “A Transaction Model for Active Distributed Object Systems”, in: Database Transaction Models for advanced applications, A. Elmagarmid (ed), Morgan-Kaufman, 1992.
S.D. Dewitz, “Contracting on a performative network: using information technology as a legal intermediary”, in: Collaborative Work, Social Communications and Information Systems, R.K.Stamper et al (eds), North-Holland, 1991.
J.L.G. Dietz, “Business Modelling for Business Redesign”, in: Proc. of 27th Hawaii Int.l. conf. on System Sciences, IEEE Computer Society Press, 1994.
F. Dignum and H. Weigand, “Communication and Deontic Logic”, in: Information Systems, Correctness and Reusability, Proc. of ISCORE-94 Workshop, R. Wieringa and R. Feenstra (eds.), World Scientific, Singapore, 1995.
F. Dignum and H. Weigand, “Modelling Communication between Cooperative Systems”, in: K.Lyytinen, J.Ivari, M.Rossi (eds), “Advanced Information Systems Engineering” (LNCS-932), Springer-Verlag, Berlin, 1995, pp140–153.(Proc.of CAISE-95).
F. Dignum, H. Weigand, E. Verharen, “Meeting the deadline: on the formal specification of temporal deontic constraints”, Proc. of ISMIS'96.
A. Elmagarmid (ed.), Database Transaction Models for Advanced Applications, Morgan-Kaufman, 1992.
G. Goldkuhl, “Information as Action and Communication”, in: The Infological Equation, Essays in honour of B. Langefors, B. Dahlbom (ed.), Gothenburg Studies in Information Systems, Gothenburg Univ, 1995. (also: Linkoping Univ report LiTH-IDA-R-95-09)
R. Medina-Mora, T. Winograd, R. Flores, F. Flores, “The Action Workflow Approach to Workflow Management Technology”, in: Proc. of 4th Conf. on Computer Supported Cooperative Work (CSCW'94), ACM, 1994.
A. Ngu, R. Meersman and H. Weigand, “Specification and verification of communication for interoperable transactions”, in: Int.l. Journal of Intelligent en Cooperative Information Systems (IJICS) 3 (1), p. 47–56, 1994.
M.H. Nodine, N. Nakos, S.Zdonik, “Specifying Flexible Tasks in a Multidatabase”, in: Proc. CoopIS-94, March 1994.
S. Teufel and B. Teufel, “Bridging Information Technology and Business — Some Modelling Aspects”, in: ACM SIGOIS Bulletin 16 (1), p. 13–17, 1995.
H. Wächter and A. Reuter, “The ConTract Model”, in: Database Transaction Models for advanced applications, A. Elmagarmid (ed), Morgan-Kaufman, 1992.
H. Weigand, “Deontic aspects of communication”, in: Proc. of Deontic Logic in Computer Science (DEON'92), J.-J.Ch. Meyer, R. Wieringa (eds.), Wiley, 1993.
H. Weigand, E. Verharen, and F. Dignum, “Integrated Semantics for Information and Communication Systems”, in: Proc of IFIP DS-6 Database Semantics, Stone-Mountain, Georgia, USA, 1995.
H. Weigand, A. Ngu, “Flexible specification of interoperable transactions”. Working paper, Tilburg University, 1995.
R.J. Wieringa, J.-J.Ch. Meyer, and H. Weigand, “Specifying dynamic and deontic integrity constraints”, in: Data & Knowledge Engineering (4) 2, pp.157–191, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weigand, H., Verharen, E., Dignum, F. (1996). Interoperable transactions in business models — A structured approach. In: Constantopoulos, P., Mylopoulos, J., Vassiliou, Y. (eds) Advanced Information Systems Engineering. CAiSE 1996. Lecture Notes in Computer Science, vol 1080. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61292-0_11
Download citation
DOI: https://doi.org/10.1007/3-540-61292-0_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61292-6
Online ISBN: 978-3-540-68451-0
eBook Packages: Springer Book Archive