Model Capsules for Research and Engineering Networks
https://doi.org/10.1007/978-3-319-44066-8_21Abstract
Multi-model utilisation is a common practice in many sciences, e.g. computer science. Coherence and co-evolution of models is however still an open problem. Multi-model approaches suffer however from the impedance mismatch due to differences in modelling languages. The collaboration approach is based on preservation of local models and on explicit association of derived sub-models. Each discipline has developed its specific know-how in modelling and model deployment. Models evolve in dependence on the progress of the research work. If a model or one of its sub-models has been exchanged with a team member then this evolution must also be applied to models of the partner if those sub-models are used elsewhere. We develop a novel approach to multi-model development and utilisation, to common use and utilisation of models and modelling experience, to systematic assessment of models and systematic extraction of the potential and capacity of models for a research community, and to the co-evolution of model networks.
References (26)
- E. Börger and R. Stärk. Abstract state machines -A method for high-level system design and analysis. Springer, Berlin, 2003.
- A. Coleman. Scientific models as works. Cataloging & Classification Quarterly, Special Issue: Works as Entities for Information Retrieval, 33, 3-4, 2006.
- A. Dahanayake and B. Thalheim. Co-evolution of (information) system models. In EMM- SAD 2010, volume 50 of LNBIP, pages 314-326. Springer, 2010.
- L. Fleck. Denkstile und Tatsachen, edited by S. Werner and C. Zittel. Surkamp, 2011.
- N.P. Gillett, F.W. Zwiers, A.J. Weaver, G.C. Hegerl, M.R. Allen, and P.A. Stott. Detecting anthropogenic influence with a multi-model ensemble. Geophys. Res. Lett., 29, 1970.
- J. Goguen. Three perspectives on information integration. Kalfoglou, Y., et al., eds., Seman- tic Interoperability and Integration. Dagstuhl Seminar Proceedings 04391, 2005.
- J. Gray. eScience: A transformed scientific method. Technical report, Talk given Jan 11, 2007. Edited by T. Hey, S. Tansley, and K. Tolle. http://research.microsoft.com/en- us/um/people/gray/talks/NRC-CSTB eScience.ppt, Microsoft Research Publications, 2007.
- E. Guerra, J. de Lara, D.S. Kolovos, and R.F. Paige. Inter-modelling: From theory to practice. In MoDELS 2010, LNCS 6394, pages 376-391, Berlin, 2010. Springer.
- I.A. Halloun. Modeling Theory in Science Education. Springer, Berlin, 2006.
- P. J. Hunter, W. W. Li, A. D. McCulloch, and D. Noble. Multiscale modeling: Physiome project standards, tools, and databases. IEEE Computer, 39(11):48-54, 2006.
- H. König. Protocol Engineering: Prinzip, Beschreibung und Entwicklung von Kommunika- tionsprotokollen. Teubner, Stuttgart, 2003.
- H.-J. Lenz and B. Thalheim. A formal framework of aggregation for the OLAP-OLTP model. J. UCS, 15(1):273-303, 2009.
- L. Magnani, W. Carnielli, and C. Pizzi, editors. Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery. Springer, 2010.
- A. I. Malzew. Algebraic systems. Nauka, Moscow, 1970.
- J. Pardillo. A systematic review on the definition of UML profiles. In MoDELS 2010, LNCS 6394, pages 407-422, Berlin, 2010. Springer.
- M. Pottmann, H. Unbehauen, and D.E. Seborg. Application of a general multi-model ap- proach for identification of highly nonlinear processes -a case study. Int. Journal of Control, 57(1):97-120, 1993.
- S. Prochnow and R. von Hanxleden. Statechart development beyond WYSIWYG. In MoD- ELS, volume 4735 of Lecture Notes in Computer Science, pages 635-649. Springer, 2007.
- B. Rumpe. Modellierung mit UML. Springer, 2012.
- R. Salay, J. Mylopoulos, and S. M. Easterbrook. Using macromodels to manage collections of related models. In CAiSE, volume 5565 of Lecture Notes in Computer Science, pages 141-155. Springer, 2009.
- K.-D. Schewe and B. Thalheim. Development of collaboration frameworks for web infor- mation systems. In IJCAI'07 (20th Int. Joint Conf on Artificial Intelligence, Section EMC'07 (Evolutionary models of collaboration), pages 27-32, Hyderabad, 2007.
- M. Skusa. Semantische Kohärenz in der Softwareentwicklung. PhD thesis, CAU Kiel, 2011.
- D. Song and P. Bruza. Discovering information flow using a high dimensional conceptual space. In Research and Development in Information Retrieval, pages 327-333, 2001.
- B. Thalheim. Entity-relationship modeling -Foundations of database technology. Springer, Berlin, 2000.
- B. Thalheim. Towards a theory of conceptual modelling. Journal of Universal Computer Sci- ence, 16(20):3102-3137, 2010. http://www.jucs.org/jucs_16_20/towards_a_theory_of.
- B. Thalheim. The conceptual model ≡ an adequate and dependable artifact enhanced by concepts. In Information Modelling and Knowledge Bases, volume XXV of Frontiers in Artificial Intelligence and Applications, 260, pages 241-254. IOS Press, 2014.
- B. Thalheim and I. Nissen, editors. Wissenschaft und Kunst der Modellierung. De Gruyter, Ontos Verlag, Berlin, 2015.