Abstract
Motivated from the notion of reference points in the ISO standard on Open Distributed Processing (RM-ODP) the question is examined what meaning a general concept of reference points in the context of complex systems and their development could be given. The paper discusses three approaches for the observation of systems behaviour and draws some conclusions in view of such concept.
This is a preview of subscription content, log in via an institution to check access.
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
Sebastian Bab and Bernd Mahr. ∈T-integration of logics. In Formal Methods in Software and Systems Modeling, pages 204–219, 2005.
Marc Born, Eckhardt Holz, and Olaf Kath. Softwareentwicklung mit UML 2. Addison-Wesley Verlag München, 2004.
J.P. Cleave. A Study of Logics. Clarendon Press, 1991.
Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, and Peter Padawitz. Algebraic implementation of abstract data types. Theoretical Computer Science, 20:209–263, 1982.
Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1. Springer Verlag Berlin, 1985.
Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 2. Springer Verlag Berlin, 1990.
Hartmut Ehrig and Fernando Orejas. A generic component concept for integrated data type and process modeling techniques. Technical Report 2001/12, Technische Universität Berlin, 2001.
International Organization for Standardization. Basic Reference Model of Open Distributed Processing. ITU-T X.900 series and ISO/IEC 10746 series, 1995.
Joseph A. Goguen and Rod M. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM, 39(1):95–146, 1992.
OMG.ORG: Object Management Group. Download of the MDA Specification. 2005.
OMG.ORG: Object Management Group. Download of the UML Specification. 2005.
T. Mossakowski. Foundations of heterogeneous specification. In M. Wirsing, D. Pattinson, and R. Hennicker, editors, Recent Threads in Algebraic Development Techniques, 16 th International Workshop, WADT 2002, pages 359–375. Springer London, 2003.
Janis R. Putman. Architecting with RM-ODP. Prentice Hall PTR, 2000.
Donald Sannella and Andrzej Tarlecki. On observational equivalence and algebraic specification. In TAPSOFT, Vol. 1, pages 308–322, 1985.
Ina Schieferdecker, Mang Li, and Axel Rennoch. Formalization and testing of reference points facets.
A. Tarlecki. Towrds heterogeneous specification. In D. Gabbay and M. van Rijke, editors, Proceedings 2 nd International Workshop on Frontiers of Combining Systems, FroCoS’98. Kluwer, 1998.
Martin Wirsing. Algebraic Specification. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), pages 675–788. 1990.
Martin Yates, Wataru Takita, Laurence Demoudem, Rickard Jansson, and Harm Mulder. Tina Business Model and Reference Points. 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this paper
Cite this paper
Bab, S., Mahr, B. (2006). Reference Points for the Observation of Systems Behaviour. In: Hommel, G., Huanye, S. (eds) Human Interaction with Machines. Springer, Dordrecht . https://doi.org/10.1007/1-4020-4043-1_1
Download citation
DOI: https://doi.org/10.1007/1-4020-4043-1_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4042-9
Online ISBN: 978-1-4020-4043-6
eBook Packages: EngineeringEngineering (R0)