Abstract
The logical viewpoint describes the logical structure and the distribution of responsibilities functionality of a system by means of a network of interacting logical components that are responsible for a set of functions.
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
[Broy and Stølen 2001] M. Broy, K. Stølen: Specification and development of interactive systems: focus on streams, interfaces, and refinement. Springer, 2001.
[Eder et al. 2011] S. Eder, A. Vogelsang, M. Feilkas: Seamless modeling of an automation example using the SPES methodology. In: Technical Report TUM-I1110. Technische Universität München, May 2011.
[Leuxner et al. 2010] C. Leuxner, W. Sitou, B. Spanfelner: A formal model for work flows. In: SEFM 2010: Proceedings of the 8th International Conference on Software Engineering and Formal Methods, 2010.
[Pretschner et al. 2004] A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel: Model-based testing for real. In: International Journal on Software Tools for Technology Transfer, Vol. 5, No. 2, 2004.
[Vogelsang et al. 2012] A.Vogelsang, S.Teuchert, J.-F. Girard. Extend and characteristics of dependencies between vehicle functions in automotive software systems. Proceedings of the 2012 International Workshop on Models in Software Engineering, 2012
[Thyssen and Hummel 2011] J. Thyssen, B. Hummel: Behavioral specification of reactive systems using stream-based i/o tables. Software and Systems Modeling, 2011.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Eder, S., Mund, J., Vogelsang, A. (2012). Logical Viewpoint. In: Pohl, K., Hönninger, H., Achatz, R., Broy, M. (eds) Model-Based Engineering of Embedded Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34614-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-34614-9_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34613-2
Online ISBN: 978-3-642-34614-9
eBook Packages: Computer ScienceComputer Science (R0)