Abstract
An algebraic approach to the view consistency problem in software development is provided. A view is formalised as a sentence of a viewpoint language; a viewpoint is given by a language and its semantics. Views in possibly different viewpoints are compared over a common view for consistency by a heterogenous pull-back construction. This general notion of view consistency is illustrated by several examples from viewpoints used in object-oriented software development.
This research has been partially sponsored by the DFG project WI 841/6-1 “InOpSys”.
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.
Similar content being viewed by others
References
Barwise, J. (ed.): Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics, vol. 90. North-Holland, Amsterdam (1977)
Bernot, G., Coudert, S., Gall, P.L.: Towards Heterogenous Formal Specifications. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol. 1101, pp. 458–472. Springer, Heidelberg (1996)
Boiten, E.A., Bowman, H., Derrick, J., Linington, P.F., Steen, M.: Viewpoint consistency in ODP. Computer Networks 34(3), 503–537 (2000)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
Bowman, H., Steen, M.W.A., Boiten, E.A., Derrick, J.: A Formal Framework for Viewpoint Consistency. Formal Methods in System Design 21, 111–166 (2002)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. Springer, Berlin (2001)
Engels, G., Heckel, R., Taentzer, G., Ehrig, H.: A Combined Reference Model- and View-Based Approach to System Specification. Int. J. Softw. Knowl. Eng. 7(4), 457–477 (1997)
Fischer, C.: CSP-OZ: How to Combine Z with a Process Algebra. In: Bowman, H., Derrick, J. (eds.) Proc. 2nd Int. Conf. Formal Methods for Open Object-Based Distributed Systems, vol. 2, pp. 423–438. Chapman & Hall, Boston (1997)
Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. J. ACM 39(1), 95–146 (1992)
Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Rammig, F.J. (ed.) Distributed and Parallel Embedded Systems, pp. 61–71. Kluwer Academic, Boston (1999)
Meseguer, J.: General Logics. In: Ebbinghaus, H.-D., Fernández-Prida, J., Garrido, M., Lascar, D., Artalejo, M.R. (eds.) Proc. Logic Colloquium 1987. Studies in Logic and the Foundatons of Mathematics, vol. 129, pp. 275–329. Elsevier, Amsterdam (1989)
Meseguer, J.: Conditional Rewriting Logic as a Unified Model of Concurrency. Theo. Comp. Sci. 96, 73–155 (1992)
Meseguer, J.: Formal Interoperability. In: Proc. 5th Int. Symp. Mathematics and Artificial Intelligence, Fort Laurerdale, Florida, p. 9 (1998)
Mossakowski, T.: Heterogenous Development Graphs and Heterogeneous Borrowing. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol. 2303, pp. 326–341. Springer, Heidelberg (2002)
Mossakowski, T., Tarlecki, A., Pawłowski, W.: Combining and Representing Logical Systems Using Model-Theoretic Parchments. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol. 1376, pp. 349–364. Springer, Heidelberg (1998)
Reggio, G., Repetto, L.: CASL-CHART: A Combination of Statecharts and the Algebraic Specification Language CASL. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 243–272. Springer, Heidelberg (2000)
Schäfer, T., Knapp, A., Merz, S.: Model Checking UML StateMachines and Collaborations. In: Stoller, S., Visser, W. (eds.) Proc. Wsh. Software Model Checking, Paris. Elect. Notes Theo. Comp. Sci., vol. 55(3),13 pages (2001)
Warmer, J., Kleppe, A.: The Object Constraint Language. Addison–Wesley, Reading (1999)
Wehrheim, H.: Behavioural Subtyping in Object-Oriented Specification Formalisms. Habilitationsschrift, Carl-von-Ossietzky Universität Oldenburg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wirsing, M., Knapp, A. (2004). View Consistency in Software Development. In: Wirsing, M., Knapp, A., Balsamo, S. (eds) Radical Innovations of Software and Systems Engineering in the Future. RISSEF 2002. Lecture Notes in Computer Science, vol 2941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24626-8_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-24626-8_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21179-2
Online ISBN: 978-3-540-24626-8
eBook Packages: Springer Book Archive