Abstract
This survey of the workshop series Consistency Problems in UML-based Software Development aims to help readers to find the guidelines of the papers. First, general considerations about consistency and related problems are discussed. Next, the approaches proposed in the workshop papers to handle the problems are categorized and summarized. The last section includes extended abstracts of the papers from the current workshop.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
- Software Development
- Unify Modeling Language
- Description Logic
- Software Development Process
- Consistency Problem
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Kuzniarz, L., Reggio, G., Sourrouille, J.L., Huzar, Z.: Workshop on Consistency Problems in UML-based Software Development I, UML 2002, Blekinge Institute of Technology, Research Report 2002:06 (2002), available at: http://www.ipd.bth.se/uml2002/
Kuzniarz, L., Reggio, G., Sourrouille, J.L., Huzar, Z., Staron, M.: Workshop on Consistency Problems in UML-based Software Development II, UML 2003, Blekinge Institute of Technology. Research Report 2003:06 (2003), available at: http://www.ipd.bth.se/consistencyUML/UML2003workshop.asp
Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.L.: Workshop on Consistency Problems in UML-based Software Development III, UML 2004 (2004), available at: http://uml04.ci.pwr.wroc.pl/
Ammour, S., Blanc, X., Ziane, M., Desfray, P.: Improving Pattern Support in UML CASE Tools. In: [3]
Astesiano, E., Reggio, G.: An Algebraic Proposal for Handling UML Consistency. In: [2]
Bhaduri, P., Venkatesh, R.: Formal Consistency of Models in Multi-View Modelling. In: [1]
Bodeveix, J.-P., Millan, T., Percebois, C., Le Camus, C., Bazex, P., Feraud, L.: Extending OCL for verifying UML models consistency. In: [1]
Choi, Y., Bunse, C.: Behavioral Consistency Checking for Component-based Software Development Using the KobrA Approach. In: [3]
Derrick, J., Akehurst, D., Boiten, E.: A framework for UML consistency. In: [1]
Génova, G., Llorens, J., Fuentes, J.M.: The Baseless Links Problem. In: [2]
Gomaa, H., Wijesekera, D.: Consistency in Multiple-View UML Models: A Case Study. In: [2]
Gryce, C., Finkelstein, A., Nentwitch, C.: Lightweight Checking for UML Based Software Development. In: [1]
Haesen, R., Snoeck, M.: Implementing Consistency Management Techniques for Conceptual Modeling. In: [3]
Hnatkowska, B., Huzar, Z., Kurniarz, L., Tuzinkiewicz, L.: A systematic approach to consistency within UML based software development process. In: [1]
Hnatkowska, B., Huzar, Z., Kuzniarz, L., Tuzinkiewicz, L.: Refinement relationship between collaborations. In: [2]
Hnatkowska, B., Huzar, Z., Tuzinkiewicz, L.: On Understanding of Refinement Relationship. In: [3]
Hnatkowska, B., Walkowiak, A.: Consistency Checking of USDP Models. In: [3]
Huining Feng, T., Vangheluwe, H.: Case Study: Consistency Problems in a UML Model of a Chat Room. In: [2]
Hendrik Kausmann, J., Heckel, R., Sauer, S.: Extended Model Relations with Graphical Consistency Conditions. In: [1]
Kremer-Davidson, S., Shaham-Gafni, Y.: UML 2.0 Model Consistency – the Rule of Explicit and Implicit Usage Dependencies. In: [3]
Kuzniarz, L., Staron, M.: Inconsistencies in Student Designs. In: [2]
Lange, C., Chaudron, M.R.V., Muskens, J., Somers, L.J., Dortmans, H.M.: An Empirical Investigation in Quantifying Inconsistency and Incompleteness of UML Designs. In: [2]
Lano, K., Clark, D., Androutsopoulos, K.: Formalising Inter-model Consistency for the UML. In: [1]
Qian Liu, W., Easterbrook, S., Mylopoulos, J.: Rule Based detection of Inconsistency in UML Models. In: [1]
Liu, Z., Jifeng, H., Li, X., Chen, Y.: Consistency and Refinement of UML Models. In: [3]
Marcano, R., Levy, N.: Using B formal specifications for analysis and verification of UML/OCL models. In: [1]
Rasch, H., Werheim, H.: Consistency between UML Classes and Associated State Machines. In: [1]
Shen, W., Lu, Y., Liong Low, W.: Extending the UML Metamodel to Support Software Refinement. In: [2]
Sourrouille, J.-L., Caplat, G.: Checking UML Model Consistency. In: [1]
Sourrouille, J.-L., Caplat, G.: A Pragmatic View on Consistency Checking of UML Models. In: [2]
Van Der Straeten, R., Mens, T., Simmonds, J.: Maintaining Consistency between UML Models Using Description Logic. In: [2]
Van Der Straeten, R.: Formalizing Behaviour Preserving Dependencies in UML. In: [3]
Wagner, R., Giese, H., Nickel, U.A.: A Plug-In for Flexible and Incremental Consistency Management. In: [2]
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.L. (2005). Consistency Problems in UML-Based Software Development. In: Jardim Nunes, N., Selic, B., Rodrigues da Silva, A., Toval Alvarez, A. (eds) UML Modeling Languages and Applications. UML 2004. Lecture Notes in Computer Science, vol 3297. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31797-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-31797-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25081-4
Online ISBN: 978-3-540-31797-5
eBook Packages: Computer ScienceComputer Science (R0)