Abstract
Today, information systems are essential parts of large organizations. Since such kinds of systems have a very long life-span, they have to be adapted to new changing requirements occurring during their lifetime. Evolution must be regarded not only at the object state level, but also at the object behavior level. Especially, the explicit handling of (behavior) evolution on the conceptual level is necessary. For that, we introduce the notion of evolving objects as basic building blocks of information systems. The behavior of such an object is divided into a rigid and an evolving part. The rigid behavior is ideally stable for the whole life-span of the object; the evolving behavior can be changed dynamically at runtime. In this paper, we present an extended specification framework for modeling evolving objects. Particularly, this framework provides the basis to explicitly specify behavior evolution.
This research was partially supported by the ESPRIT Basic Research Working Groups ASPIRE (No. 22704) and FireWorks (No. 23531) and by the German Science Foundation DFG (SPP 1064: SA 465/19).
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
S. Balko. Adaptive Specification of Technical Information Systems. In H. Balsters, B. de Brock, and S. Conrad, editors, Proceedings of the Ninth International Workshop on Foundations of Models and Languages for Data and Objects: Database Schema Evolution, LNCS, Springer-Verlag, Berlin, 2001 (this volume).
G. Booch. Object-Oriented Design with Applications. Benjamin/Cummings, Redwood City, CA, 1991.
G. Booch, I. Jacobson, and J. Rumbaugh. Unified Modeling Language (Version 1.0). Rational Software Corporation, Santa Clara, 1997.
S. Ceri and P. Fraternali. Designing Database Applications with Objects and Rules — The IDEA Methodology. Addison-Wesley, Reading, MA, 1997.
S. Conrad, J. Ramos, G. Saake, and C. Sernadas. Evolving Logical Specification in Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 7, pages 199–228, Kluwer Academic Publishers, Boston, 1998.
S. Conrad and G. Saake. Extending Temporal Logic for Capturing Evolving Behaviour. In Z.W. Raś and A. Skowron, editors, Foundations of Intelligent Systems, Proc. of the 10th Int. Symposium, ISMIS’97, Charlotte, North Carolina, USA, October 1997, Lecture Notes in Artificial Intelligence, Vol. 1325, pages 60–71. Springer-Verlag, Berlin, 1997.
S. Conrad, G. Saake, and C. Turker. Towards an Agent-Oriented Framework for Specification of Information Systems. In J.-J. Ch. Meyer and P.-Y. Schobbens, editors, Formal Models of Agents — ESPRIT Project ModelAge Final Report, Selected Papers, Lecture Notes in Artificial Intelligence, Vol. 1760, pages 57–73. Springer-Verlag, Berlin, 1999.
C. J. Date and H. Darwen. A Guide to the SQL Standard. Addison-Wesley, Reading, MA, 4 edition, 1997.
E. Dubois, P. Du Bois, and M. Petit. O-O Requirements Analysis: An Agent Perspective. In O. Nierstrasz, editor, ECOOP’93 — Object-Oriented Programming, Proc. 7th European Conf., Kaiserslautern, Germany, July 1993, Lecture Notes in Computer Science, Vol. 707, pages 458–481. Springer-Verlag, Berlin, 1993.
E. A. Emerson. Temporal and Modal Logic. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 995–1072, Elsevier Science Publishers, North-Holland, Amsterdam, 1990.
M. Gogolla, S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and H.-D. Ehrich. TROLL light: The Language and Its Development Environment. In M. Broy and S. Jahnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Lecture Notes in Computer Science, Vol. 1009, pages 205–220. Springer-Verlag, Berlin, 1995.
R. Herzig, S. Conrad, and M. Gogolla. Compositional Description of Object Communities with TROLL light. In C. Chrisment, editor, Proc. of the Basque Int. Workshop on Information Technology (BIWIT’94), pages 183–194. Cépaduès-Éditions, Toulouse, 1994.
R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Troll-A Language for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems, 14(2):175–211, April 1996.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Vol. 1: Specification. Springer-Verlag, New York, NJ, 1992.
J. Melton. Understanding SQL’s Stored Procedures — A Complete Guide to SQL/PSM. Morgan Kaufmann Publishers, San Francisco, CA, 1998.
H. Muller and H. Weber, editors. Continuous Engineering for Industrial Scale Software Systems, 1998.
N. W. Paton and O. Díaz. Metaclasses in Object-Oriented Databases. In R. A. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design & Construction, Proc. of the IFIP WG 2.6 Working Conf., DS-4, Windermere, UK, July 1990, pages 331–347. North-Holland, Amsterdam, 1991.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, NJ, 1991.
G. Saake and T. Hartmann. Modelling Information Systems as Object Societies. In K. von Luck and H. Marburger, editors, Management and Processing of Complex Data Structures, Proc. of the 3rd Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February/March 1994, Lecture Notes in Computer Science, Vol. 777, pages 157–180. Springer-Verlag, Berlin, 1994.
G. Saake, A. Sernadas, and C. Sernadas. Evolving Object Specifications. In R. Wieringa and R. Feenstra, editors, Information Systems — Correctness and Reusability. Selected Papers from the IS-CORE Workshop, pages 84–99, World Scientific Publishing, Singapore, 1995.
A. Sernadas, C. Sernadas, and J. Costa. Object Specification Logic. Journal of Logic and Computation, 5(5):603–630, 1995.
C. Turker. Schema Evolution in SQL-99 and Commercial (Object-)Relational DBMS. In H. Balsters, B. De Brock, and S. Conrad, editors, Database schema Evolution and Meta-Modeling — 9th International Workshop on Foundations of Models and Languages for Data and Objects (FOMLADO/DEMM 2000), Dagstuhl, Germany, Lecture Notes in Computer Science Vol. 2065, pages 1–32 Springer-Verlag, 2001.
C. Turker, S. Conrad, and G. Saake. Dynamically Changing Behavior: An Agent-Oriented View to Modeling Intelligent Information Systems. In Z. W. Raś and M. Michalewicz, editors, Foundations of Intelligent Systems, Proc. of the 9th Int. Symposium on Methodologies for Intelligent Systems, ISMIS’96, June 1996, Zakopane, Poland, Lecture Notes in Artificial Intelligence, Vol. 1079, pages 572–581. Springer-Verlag, Berlin, 1996.
R. J. Wieringa. A Formalization of Objects Using Equational Dynamic Logic. In C. Delobel, M. Kifer, and Y. Masunaga, editors, Deductive and Object Oriented Databases, Proc. of the 2nd Int. Conf., DOOD’91, Munich, Germany, December 1991, Lecture Notes in Computer Science, Vol. 566, pages 431–452. Springer-Verlag, Berlin, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Saake, G., Türker, C., Conrad, S. (2001). Evolving Objects: Conceptual Description of Adaptive Information Systems. In: Balsters, H., de Brock, B., Conrad, S. (eds) Database Schema Evolution and Meta-Modeling. DEMM FoMLaDO 2000 2000. Lecture Notes in Computer Science, vol 2065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48196-6_10
Download citation
DOI: https://doi.org/10.1007/3-540-48196-6_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42272-3
Online ISBN: 978-3-540-48196-6
eBook Packages: Springer Book Archive