Abstract
An approach for the refinement of the information system activity (workflow) specifications by the pre-existing heterogeneous information resource behavior patterns is discussed. The proposed methodology is considered to be a part of the semantic interoperation reasoning framework [16]. The two-dimensionally uniform multiactivity specification [15] is assumed.
The paper is focused on the behavioral abstraction of the multiactivity specifications that are introduced as patterns of actions (Petri net firing sequences) generalized as regular expressions. Behavior concretization reasoning is based on the partial ordering of the patterns. Structural and behavioral abstractions of multiactivities work together to make their concretization feasible.
The technique is developed and used in frame of the SYNTHESIS project 1.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abrial J.-R. B-Technology. Technical overview. BP International Ltd., 1992, 73 p.
Attie P.A., Singh M.P., Sheth A., Rusinkiewicz M. Specifying and enforcing intertask dependencies, Proceedings of the 19th International Conference on Very Large Data Bases, September 1993
Bjorner D. Prospects for a viable software industry. Computers as our better partners. Proceedings of the International IISF/ACM Symposium, Tokyo, World Scientific, 1994
Brodie, M.L. The Promise of Distributed Computing and the Challenges of Legacy Systems. In P.M.D. Gray and R.J. Lucas (eds.) Advanced Database Systems: Proceedings of the 10th British National Conference on Databases, Springer-Verlag, New York/Heidelburg, July 1992
P. P. Chrysanthis and K. Ramamritham. A Formalism for Extended Transaction Models. Proceedings of the 17th International Conference on Very Large Data Bases, September 1991.
Chrysanthis P., Ramamritham K. ACTA: the SAGA continues. in [9]
U. Dayal, M. Hsu, R. Ladin. A transactional model for long-running activities Proceedings of the 17th International Conference on Very Large Data Bases, September 1991
Dedene G., Snoeck M. Object-oriented modeling: a new language for consistent business engineering, Proceedings of the International Conference EastEurOOPe’93, Bratislava, November 1993
A. Elmagarmid, Ed. Database Transaction Models for Advanced Applications, Morgan-Kaufmann, 1992
Georgakopoulos D., Hornick M., Krychniak P., Manola F. Specification and management of extended transactions in a programmable transaction environment. Proceedings of the 10th International Conference on Data Engineering, February, 1994
Hoare C.A.R. Communicating Sequential Processes. Prentice Hall International, 1985.
K. Jensen. Coloured Petri Nets: a High Level Language for System Design and Analysis. High level Petri Nets. Theory and Application. Springer Verlag, 1991.
Kalinichenko L.A. SYNTHESIS: a language for description, design and programming of interoperable information resource environment. Institute for Problems of Informatics of the Russian Academy of Sciences, September 1993, 113 p. (in Russian)
Kalinichenko L.A. A Declarative Framework for Capturing Dynamic Behavior in Heterogeneous Interoperable Information Resource Environment. Proceedings of the RIDE -IMS’93, Vienna, April 1993
Kalinichenko L.A. Specification and implementation of dynamic behavior in the interoperable environment of information resources. Russian Academy of Sciences, IPIAN, Technical Report, October 1993
Kalinichenko L.A. Emerging semantic-based interoperable information system technology. Computers as our better partners. Proceedings of the International IISF/ACM Symposium, Tokyo, World Scientific, 1994
Kalinichenko L.A. Homogeneous localization of structural interactivity dependencies in megaprograms using scripts. Proceedings of the International Workshop on Advances in Databases and Information Systems (ADBIS’94), Moscow, May 1994
Lustman F. Specifying transaction-based information systems with regular expressions. IEEE Transactions on Software Engineering, vol. 20, N 3, March 1994
L. Liu, R. Meersman. Activity model: a declarative approach for capturing communication behavior in object-oriented databases. Proceedings of the 18 International Conference on Very Large Data Bases,Vancouver, August 1992.
Nodine M.H., Zdonik S.B. Cooperative transaction hierarchies: transaction support for design applications. VLDB Journal, vol. 1, p. 41–80, 1992
Object Management Group, “The Common Object Request Broker: Architecture and Specification”, OMG Document Number 91.12. 1, December 1991.
M. Rusinkiewicz, S. Osterman, A. Elmagarmid, K. Loa. The Distributed Operational Language for Specifying Multisystem Application Proceedings of the First International Conference on Systems Integration, April 1990
A. Sheth, M. Rusinkiewicz, and G. Karabatis. Using Polytransactions to Manage Interdependent Data. Chapter 14, in [9]
Spivey J.M. The Z Notation. A reference manual. Prentice-Hall, 1989
Wiederhold G., Wegner P., Ceri S. Toward megaprogramming CACM, v. 35, N 11, November 1992
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kalinichenko, L. (1995). Structural and Behavioral Abstractions of the Multiactivities Intended for their Concretizations by the Pre-existing Behaviors. In: Eder, J., Kalinichenko, L.A. (eds) East/West Database Workshop. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3577-7_24
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3577-7_24
Publisher Name: Springer, London
Print ISBN: 978-3-540-19946-5
Online ISBN: 978-1-4471-3577-7
eBook Packages: Springer Book Archive