A language-theoretic view on guidelines and consistency rules of UML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5562 LNCS, Issue , 2009, Pages 66-81

  Chen, Zhe ^a   Motet, Gilles ^a,b  

^a UNIVERSITÉ DE TOULOUSE   (France)

^b Foundation for An Industrial Safety Culture   (France)

Author keywords

[No Author keywords available]

Indexed keywords

C-SYSTEMS; COMPILE TIME; DEGREES OF FREEDOM; LANGUAGE LEVELS; SYNTAX-BASED APPROACH; TOPDOWN; USER MODELS;

FORMAL LANGUAGES; QUERY LANGUAGES;

LINGUISTICS;

EID: 70350641401     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02674-4_6     Document Type: Conference Paper

References (31)

1. OMG: Unified Modeling Language: Infrastructure, version 2.1.1 (07-02-06). Object Management Group (2007)
2. OMG: Unified Modeling Language: Superstructure, version 2.1.1 (07-02-05). Object Management Group (2007)
3. Medvidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling software architectures in the unified modeling language. ACM Trans. Softw. Eng. Methodol. 11(1), 2-57 (2002)
4. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. Addison-Wesley, Reading (2005)
5. Balzer, R.: Tolerating inconsistency. In: Proceedings of the 13th International Conference on Software Engineering (ICSE 1991), pp. 158-165. IEEE Computer Society, Los Alamitos (1991)
6. Easterbrook, S.M., Chechik, M.: 2nd international workshop on living with inconsistency. In: Proceedings of the 23rd International Conference on Software Engineering (ICSE 2001), pp. 749-750. IEEE Computer Society, Los Alamitos (2001)
7. Nuseibeh, B., Easterbrook, S.M., Russo, A.: Leveraging inconsistency in software development. IEEE Computer 33(4), 24-29 (2000)
8. Kuzniarz, L., Reggio, G., Sourrouille, J.L., Huzar, Z. (eds.): Workshop on consistency problems in UML-based software development I, co-located with UML 2002 (2002), http://www.ipd.bth.se/consistencyUML/
9. Kuzniarz, L., Huzar, Z., Reggio, G., Sourrouille, J.L. (eds.): Workshop on consistency problems in UML-based software development II, co-located with UML 2003 (2003), http://www.ipd.bth.se/consistencyUML/
10. Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.L. (eds.): Workshop on consistency problems in UML-based software development III, co-located with UML 2004 (2004), http://www.ipd.bth.se/consistencyUML/
11. Vidal, J.-P.S., Malgouyres, H., Motet, G.: UML 2.0 Consistency Rules (2005), http://www.lattis.univ-toulouse.fr/UML/
12. Vidal, J.P.S., Malgouyres, H., Motet, G.: UML 2.0 consistency rules identification. In: Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP 2005). CSREA Press (2005)
13. Federal Aviation Administration: Handbook for Object-Oriented Technology in Aviation (OOTiA), vol. 2.1, Considerations and issues. U.S. Department of Transportation (October 2004)
14. Motet, G.: Risks of faults intrinsic to software languages: Trade-off between design performance and application safety. Safety Science (2009)
15. OMG: MOF 2.0/XMI Mapping, version 2.1.1 (07-12-01). Object Management Group (2007)
16. ISO/IEC: ISO/IEC 14977:1996(E): Extended BNF (1996)
17. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)
18. Chen, Z., Motet, G.: Modeling system safety requirements using input/output constraint meta-automata. In: Proceedings of the 4th International Conference on Systems (ICONS 2009), pp. 228-233. IEEE Computer Society, Los Alamitos (2009)
19. Chen, Z., Motet, G.: System safety requirements as control structures. In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009). IEEE Computer Society, Los Alamitos (2009)
20. Chen, Z., Motet, G.: Formalizing safety requirements using controlling automata. In: Proceedings of the Second International Conference on Dependability (DEPEND 2009). IEEE Computer Society, Los Alamitos (2009)
21. Ginsburg, S., Spanier, E.H.: Control sets on grammars. Mathematical Systems Theory 2(2), 159-177 (1968)
22. Dassow, J., Paun, G., Salomaa, A.: Grammars with controlled derivations. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, pp. 101-154. Springer, Heidelberg (1997)
23. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)
24. Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems, 2nd edn. Cambridge University Press, Cambridge (2004)
25. Egyed, A.: Fixing inconsistencies in UML design models. In: Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), pp. 292-301. IEEE Computer Society, Los Alamitos (2007)
26. Egyed, A.: UML/Analyzer: A tool for the instant consistency checking of UML models. In: Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), pp. 793-796. IEEE Computer Society, Los Alamitos (2007)
27. OMG: Object Constraint Language, version 2.0 (06-05-01). Object Management Group (2006)
28. Chiorean, D., Pasca, M., Cârcu, A., Botiza, C., Moldovan, S.: Ensuring UML models consistency using the OCL environment. Electr. Notes Theor. Comput. Sci. 102, 99-110 (2004)
29. Earley, J.: An efficient context-free parsing algorithm. Commun. ACM 13(2), 94-102 (1970)
30. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)
31. Egyed, A.: Instant consistency checking for the UML. In: Osterweil, L.J., Rombach, H.D., Soffa, M.L. (eds.) Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), pp. 381-390. ACM, New York (2006)