Skip to main content
SpringerLink
Log in
Book cover

Integration of Software Specification Techniques for Applications in Engineering pp 567–581Cite as

On Model Integration and Integration Modelling

Introduction to the Subject Area Integration Modelling

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3147))

Abstract

Integration is a necessary activity in each software development process. Within a model-based approach also the models that are used must be integrated. Model integration has two dimensions: On the one hand, the model components that result from the decomposition of the system under consideration have to be put together. On the other hand, different views onto the system are distinguished and modelled separately in order to decrease the complexity of the development process; the according models also must be brought together again.

Integration models are meta-level definitions of model integration methods. Ideally they can be instantiated with arbitrary kinds of models and modelling languages, which then yields an integration method for these models. In this introduction integration modelling is put into perspective; integration models are presented in the following contributions.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Boiten, E.A., Bowman, H., Derrick, J., Linington, P.F.: Steen M.W.A. Viewpoint consistency in ODP. Computer Networks 34(3), 503–537 (2000)

    Article  Google Scholar 

  2. Bowman, H., Boiten, E.A., Derrick, J., Steen, M.W.A.: Strategies for consistency checking based on unification. Science of Computer Programming 33, 261–298 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  3. Büssow, R., Dörr, H., Geisler, R., Grieskamp, W., Klar, M.: μSZ – Ein Ansatz zur systematischen Verbindung von Z und Statecharts. Technical Report 96-32, Technische Universität Berlin (February 1996)

    Google Scholar 

  4. Bohn, J., Damm, W., Klose, J., Moik, A., Wittke, H.: Modeling and validating train system applications using statemate and live sequence charts. In: Proc. Int. Conf. Integrated Design and Process Technology, IDPT 2002 (2002)

    Google Scholar 

  5. Büssow, R., Geisler, R., Klar, M.: Specifying safety-critical embedded systems with statecharts and Z: a case study. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, pp. 71–87. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  6. Burmester, S., Giese, H., Niere, J., Tichy, M., Wadsack, J.P., Wagner, L., Wendehals, R., Zündorf, A.: Tool integration at the meta-model level within the FUJABA tool suite. In: Proc. Workshop on Tool-Integration in System Development (TIS) at ESEC/FSE 2003, pp. 51–56 (2003)

    Google Scholar 

  7. Bishop, R.H.: Modern Control Systems Analysis and Design Using MATLAB and Simulink. Addison-Wesley, Reading (1997)

    Google Scholar 

  8. Brinksma, E. (ed.). Information processing systems – Open Systems Interconnection – LOTOS – A formal description technique based on the temporal ordering of observational behaviour. ISO 8807 (1989), International Standard

    Google Scholar 

  9. Bowman, H., Steen, M.W.A., Boiten, E.A., Derrick, J.: A formal framework for viewpoint consistency. Computing Laboratory Technical Report 22-99, University of Kent at Canterbury (December 1999), http://www.cs.ukc.ac.uk/people/staff/jd1/pubs.html

  10. Damm, W., Harel, D.: Lscs: Breathing life into message sequence charts. Formal Methods in System Design 19(1), 45–80 (2001)

    Article  MATH  Google Scholar 

  11. Enders, B.E., Goedicke, M., Heverhagen, T., Tracht, R., Tröpfner, P.: Towards an integration of different specification methods by using the viewpoint framework. In: Tanik, M.M., Ertas, A. (eds.) Proc. 5th World Conference on Integrated Design and Process Technology (IDPT 2000), Society for Design and Process Science (2000)

    Google Scholar 

  12. Egyed, A.: Heterogeneous View Integration and its Automation. PhD thesis, University of Southern California, Los Angeles (April 1999)

    Google Scholar 

  13. ISO/IEC 15437, Information Technology - Enhancements to LOTOS (2001)

    Google Scholar 

  14. Egyed, A., Medvidovic, N.: A formal approach to heterogeneous software modeling. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol. 1783, pp. 178–192. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  15. Fischer, C.: CSP–OZ: A combination of Object–Z and CSP. In: Bowman, H., Derrick, J. (eds.) Formal Methods for Open Object–Based Distributed Systems (FMOODS 1997), vol. 2, pp. 423–438. Chapman & Hall, Boca Raton (1997)

    Google Scholar 

  16. Fay, A., Jansen, L., Schnieder, E.: Towards a knowledge-based decision support system for high speed train traffic control. In: Proceedings of the World Congress on Railway Research (WCRR 1996). Association of American Railroads (1996)

    Google Scholar 

  17. Finkelstein, A., Kramer, J., Nuseibeh, B., Goedicke, M., Finkelstein, L.: Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering 2(1), 31–58 (1992)

    Article  Google Scholar 

  18. Goguen, J., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the ACM 39(1), 95–146 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  19. Goedicke, M., Enders, B., Meyer, T., Taentzer, G.: Viewpoint–oriented software development: Tool support for integrating multiple perspectives by distributed graph transformations. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol. 1785, pp. 43–47. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  20. Geisler, R., Klar, M., Mann, S.: Precise semantics of integrated modeling languages by formal metamodeling. In: Tanik, M.M., Ertas, A. (eds.) Proc. 5th World Conference on Integrated Design and Process Technology. Society for Design and Process Science (2000)

    Google Scholar 

  21. Giese, H., Kardos, M., Nickel, U.A.: Towards design verification and validation at multiple levels of abstraction. In: Proc. IFIP World Computer Congress, Stream 7 on Distributed and Parallel Embedded Systems (DIPES 2002), Montreal, Canada (August 2002)

    Google Scholar 

  22. Große–Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2004)

    Google Scholar 

  23. Gruber, T.R.: A translation approach to portable ontologies. Knowledge Acquisition 5(2), 199–220 (1993)

    Article  MATH  Google Scholar 

  24. Gurevich, Y.: Evolving algebras, a tutorial introduction. In: Bulletin of the EATCS 43, pp. 264–284. Springer, Heidelberg (1991)

    Google Scholar 

  25. Gurevich, Y.: Evolving algebra 1993. In: Börger, E. (ed.) Specification and Validation Methods, Oxford University Press, Oxford (1994)

    Google Scholar 

  26. Hendler, J., Berners-Lee, T., Miller, E.: Integrating applications on the semantic web. Journal of the Institute of Electrical Engineers of Japan 122(10), 676–680 (2002)

    Google Scholar 

  27. Jansen, L., Schnieder, E.: Traffic control systems case study: Problem description and a note on domain-based software specification. In: Ehrig, H., Große-Rhode, M., Orejas, F. (eds.) Proc. International Workshop on Integration of Specification Techniques with Applications in Engineering (INT 2000), pp. 41–47 (2000)

    Google Scholar 

  28. Klose, J., Lettrari, M.: Scenario-based monitoring and testing of realtime uml models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, p. 317. Springer, Heidelberg (2001)

    Google Scholar 

  29. The MathsWorks, http://www.mathworks.com/

  30. Nickel, U.A., Kardos, M.: ASMs as integration platform towards integration of distributed production control systems at multiple levels of abstraction. In: Proc. 10th International Workshop on Abstract State Machines (2003)

    Google Scholar 

  31. ISO/IEC International Standard 10746, ITU–T recommendation X.901– X.904: Reference model of open distributed processing – Parts 1–4

    Google Scholar 

  32. Orejas, F., Pino, E.: On the integration of heterogeneous modular specifications. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 582–601. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  33. World Wide Web Consortium. Resource Description Format, http://www.w3.org/RDF/

  34. Reisig, W.: Petri Nets and Algebraic Specifications. In: Rozenberg/Jensen (eds.) High Level Petri Nets (1991)

    Google Scholar 

  35. Reisig, W., Vautherin, J.: An algebraic approach to high level Petri nets. In: Proceedings of the 8th European Workshop on Petri Nets, Zaragoza (1987)

    Google Scholar 

  36. Schröter, G., Braatz, B., Klein, M.: Semantical integration of objectoriented viewpoint specification techniques. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 602–626. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  37. International Electrotechnical Commission. International Standard 61131, Programmable Controllers. Part 3: Programming Languages. IEC (1993)

    Google Scholar 

  38. Schnieder, E., Jansen, L.: Begriffsmodelle der Automatisierungstechnik – Basis effizienten Engineerings. In: Schnieder, E. (ed.) Engineering komplexer Automatisierungssysteme (EKA 2001), pp. 1–27 (2001)

    Google Scholar 

  39. World Wide Web Consortium. Semantic Web, http://www.w3.org/2001/sw/

Download references

Author information

Authors and Affiliations

  1. Fraunhofer ISST Berlin, Germany

    Martin Große-Rhode

Authors
  1. Martin Große-Rhode
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität Berlin, Germany

    Hartmut Ehrig

  2. OFFIS e.V., Escherweg 2, 26121, Oldenburg, Germany

    Werner Damm

  3. Department of Applied Computer Science, Catholic University of Eichstätt-Ingolstadt,  

    Jörg Desel

  4. Fraunhofer ISST Berlin, Germany

    Martin Große-Rhode

  5. Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für Informatik, Universität Augsburg, 86135, Augsburg, Germany

    Wolfgang Reif

  6. Institute for Traffic Safety and Automation Engineering, Technical University of Braunschweig, Braunschweig, Germany

    Eckehard Schnieder

  7. Institute of Industrial Manufacturing and Management (IFF), University of Stuttgart, Nobelstrasse 12, D-70569, Stuttgart, Germany

    Engelbert Westkämper

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Große-Rhode, M. (2004). On Model Integration and Integration Modelling. In: Ehrig, H., et al. Integration of Software Specification Techniques for Applications in Engineering. Lecture Notes in Computer Science, vol 3147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27863-4_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27863-4_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23135-6

  • Online ISBN: 978-3-540-27863-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation