A conceptual basis for inconsistency management in model-based systems engineering

Procedia CIRP

Volumn 21, Issue , 2014, Pages 52-57

  Herzig, Sebastian J I ^a   Paredis, Christiaan J J ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Graph pattern matching; Inconsistency management; Model integration; Model based systems engineering; Viewpoint integration

Indexed keywords

PATTERN MATCHING;

GRAPH PATTERN MATCHING; INCONSISTENCY MANAGEMENT; MODEL INTEGRATION; MODEL-BASED SYSTEMS ENGINEERING; VIEWPOINT INTEGRATION;

SYSTEMS ENGINEERING;

EID: 84915735964     PISSN: 22128271     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/j.procir.2014.03.192     Document Type: Conference Paper

References (32)

1. Spanoudakis, G., Zisman, A.. Inconsistency Management in Software Engineering: Survey and Open Research Issues. In: Handbook of Software Engineering and Knowledge Engineering.World Scientific Publishing Co.; 2001, p. 329-380.
2. Report on Project Management in NASA: Phase II of the Mars Climate Orbiter Mishap Report. 2000. URL: ftp://ftp.hq.nasa.gov/pub/pao/reports/2000/MCO-MIB-Report.pdf.
3. Nuseibeh, B.. Ariane 5: Who Dunnit? IEEE Software 1997;14(3):15-16.
4. Qamar, A.. Model and Dependency Management in Mechatronic Design. Ph.D. thesis; KTH Royal Institute of Technology; 2013.
5. Friedenthal, S., Moore, A., Steiner, R.. A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann Publishers Inc.; 2011.
6. Finkelstein, A.C., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.. Inconsistency Handling in Multiperspective Specifications. IEEE T Software Eng 1994;20(8).
7. Finkelstein, A., Spanoudakis, G., Till, D.. Managing Interference. In: Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints' 96) on SIGSOFT'96 Workshops. ACM; 1996, p. 172-174.
8. Nuseibeh, B., Easterbrook, S., Russo, A.. Leveraging Inconsistency in Software Development. Computer 2000;33(4):24-29.
9. Mens, T., Van Der Straeten, R., DHondt, M.. Detecting and Resolving Model Inconsistencies using Transformation Dependency Analysis. In: Model Driven Engineering Languages and Systems. Springer; 2006, p. 200-214.
10. da Silva, M.A.A., Mougenot, A., Blanc, X., Bendraou, R.. Towards Automated Inconsistency Handling in Design Models. In: Advanced Information Systems Engineering. Springer; 2010, p. 348-362.
11. Schatz, B., Braun, P., Huber, F., Wisspeintner, A.. Consistency in Model- Based Development. In: Engineering of Computer-Based Systems. IEEE; 2003, p. 287-296.
12. Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.. Using Description Logic to Maintain Consistency between UML Models. In: UML 2003 - The Unified Modeling Language. Modeling Languages and Applications. Springer; 2003, p. 326-340.
13. Van Der Straeten, R., D'Hondt, M.. Model Refactorings through Rule- Based Inconsistency Resolution. In: Proceedings of the 2006 ACM Symposium on Applied Computing. ACM; 2006, p. 1210-1217.
14. Mens, T., Van Der Straeten, R., Simmonds, J.. A Framework for Managing Consistency of Evolving UML Models. 2005.
15. Herzig, S., Qamar, A., Reichwein, A., Paredis, C.J.. A Conceptual Framework for Consistency Management in Model-Based Systems Engineering. In: Proceedings of the ASME 2011 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. 2011, p. 1329-1339.
16. Qamar, A., Paredis, C.. Dependency Modeling and Model Management in Mechatronic Design. In: ASME 2012 Design Engineering Technical Conferences & Computers and Information in Engineering Conference. 2012, p. 1205-1216.
17. Hehenberger, P., Egyed, A., Zeman, K.. Consistency Checking of Mechatronic Design Models. In: ASME 2010 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. 2010, p. 1141-1148.
18. Gausemeier, J., Schäfer, W., Greenyer, J., Kahl, S., Pook, S., Rieke, J.. Management of Cross-Domain Model Consistency During the Development of Advanced Mechatronic Systems. In: Proceedings of the 17th International Conference on Engineering Design (ICED'09); vol. 6. 2009, p. 1-12.
19. Liu, W., Easterbrook, S., Mylopoulos, J.. Rule-Based Detection of Inconsistency in UML Models. In: Workshop on Consistency Problems in UMLBased Software Development, Dresden, Germany. 2002, p. 106-123.
20. Giarratano, J.C., Riley, G.. Expert Systems. PWS Publishing Co.; 1998.
21. Giese, H., Levendovszky, T., Vangheluwe, H.. Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. In: Models in Software Engineering. Springer; 2007, p. 252-262.
22. Eppstein, D.. Subgraph Isomorphism in Planar Graphs and Related Problems. In: Proceedings of the Sixth Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 1995, p. 632-640.
23. Gallagher, B.. Matching Structure and Semantics: A Survey on Graph- Based Pattern Matching. AAAI FS 2006;6.
24. Barceló, P., Libkin, L., Reutter, J.L.. Querying Graph Patterns. In: Proceedings of the Thirtieth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. ACM; 2011, p. 199-210.
25. Hazelrigg, G.A.. Fundamentals of Decision Making for Engineering Design and Systems Engineering. 2012.
26. Bizer, C., Heath, T., Berners-Lee, T.. Linked Data - The Story So Far. Int J Semant Web Inf 2009;5(3):1-22.
27. RDF Primer. 2004. URL: http://www.w3.org/TR/rdf-primer/.
28. OWL 2 Web Ontology Language Primer (Second Edition). 2012. URL: http://www.w3.org/TR/owl2-primer/.
29. Open Services for Lifecycle Collaboration (OSLC). 2013. URL: http://open-services.net/.
30. Fu, J.. Pattern Matching in Directed Graphs. In: Combinatorial Pattern Matching. Springer; 1995, p. 64-77.
31. Lingas, A.. Subgraph Isomorphism for Biconnected Outerplanar Graphs in Cubic Time. Theor Comput Sci 1989;63(3):295-302.
32. Levesque, H.J., Brachman, R.J.. Expressiveness and Tractability in Knowledge Representation and Reasoning. Comput Intell 1987;3(1):78- 93.