Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments

作者: M. Broy , M. Feilkas , M. Herrmannsdoerfer , S. Merenda , D. Ratiu

DOI: 10.1109/JPROC.2009.2037771

关键词:

摘要: More than 20 years of research has created a large body ideas, concepts, and theories for model-based development embedded software-intensive systems. These approaches have been implemented by several tools successfully applied to various projects. However, the everyday use in automotive avionic industries is still limited. Most time, engineers work with predefined set isolated tools, therefore adapt their engineering methods process available tools. Today, industry achieves tool integration demand-driven, pragmatic, ad-hoc composed chains priori existent commercial Nevertheless, these are not (and cannot be) seamless, since that can be achieved deep enough. This hampers reuse refinement models, which subsequently leads problems like redundancy, inconsistency, lack automation. In end, deficiencies decrease both productivity quality could provided approaches. To overcome problems, deep, coherent, comprehensive models required. Such an following three ingredients: 1) modeling theory serves as semantic domain 2) integrated architectural model holistically describes product process, 3) manner build conform allow authoring model. We show from scientific point view, all ingredients at our hands do substantial step into world. Further, we illustrate why such solution so far, discuss what done get closer seamless engineering.

参考文章(51)
Ed Merks, Stephen A. Brodsky, Frank Budinsky, Eclipse Modeling Framework Pearson Education. ,(2003)
Patrick Farail, Xavier Cregut, Marc Pantel, Pierre Goutillet, David Sciamma, Pierre Michel, Agusti Canals, Christophe Le Camus, The TOPCASED project : a toolkit in open source for critical aeronautic systems design EMBEDDED REAL TIME SOFTWARE. Congrès Européen ERTS 2006. pp. 54- 59 ,(2006)
Manfred Broy, Ketil Stølen, Specification and development of interactive systems: focus on streams, interfaces, and refinement Springer-Verlag New York, Inc.. ,(2001)
Wei Tang, Meta Object Facility Encyclopedia of Database Systems. pp. 1- 3 ,(2016) , 10.1007/978-1-4899-7993-3_914-2
Markus Herrmannsdoerfer, Sebastian Benz, Elmar Juergens, Automatability of Coupled Evolution of Metamodels and Models in Practice Model Driven Engineering Languages and Systems. pp. 645- 659 ,(2008) , 10.1007/978-3-540-87875-9_45
Guido Wachsmuth, Metamodel adaptation and model co-adaptation european conference on object-oriented programming. pp. 600- 624 ,(2007) , 10.5555/2394758.2394797
Tony Clark, Andy Evans, Stuart Kent, A Metamodel for Package Extension with Renaming Lecture Notes in Computer Science. pp. 305- 320 ,(2002) , 10.1007/3-540-45800-X_24
Michelle L. Crane, Juergen Dingel, UML vs. classical vs. rhapsody statecharts: not all models are created equal Software and Systems Modeling. ,vol. 6, pp. 415- 435 ,(2007) , 10.1007/S10270-006-0042-8
César A. Muñoz, Gilles Dowek, Víctor Carreño, Modeling and verification of an air traffic concept of operations international symposium on software testing and analysis. ,vol. 29, pp. 175- 182 ,(2004) , 10.1145/1007512.1007536
P. Caspi, D. Pilaud, N. Halbwachs, J. A. Plaice, LUSTRE: a declarative language for real-time programming symposium on principles of programming languages. pp. 178- 188 ,(1987) , 10.1145/41625.41641