An inspection approach for conceptual models in notations derived from UML: A case study

22nd International Symposium on Computer and Information Sciences, ISCIS 2007 - Proceedings

Volumn , Issue , 2007, Pages 57-62

  Tanriöver, Özgür ^a   Bilgen, Semih ^b  

^a Bankacilik Duzenleme ve Denetleme Kurumu   (Turkey)

^b MIDDLE EAST TECHNICAL UNIVERSITY   (Turkey)

Author keywords

[No Author keywords available]

Indexed keywords

CIVIL ENGINEERING; COMMUNICATION; COMPUTER SIMULATION LANGUAGES; CYBERNETICS; GRAPHIC METHODS; HEALTH; INFORMATION MANAGEMENT; INFORMATION SCIENCE; UNIFIED MODELING LANGUAGE;

ACTIVITY DIAGRAM (AD); CASE STUDIES; CONCEPTUAL MODELLING; INSPECTION PROCESSES; INTERNATIONAL SYMPOSIUM; NON-TRIVIAL; UML (UNIFIED MODELING LANGUAGE)MODEL;

INSPECTION;

EID: 48649101850     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISCIS.2007.4456836     Document Type: Conference Paper

References (22)

1. Lacy, L. W., Randolph, W., Harris, B., Youngblood, S., Sheehan, J., Might, R., & Metz, M. "Developing a consensus perspective on conceptual models for simulation systems", Paper OlS-SIW-074, Proceedings of the Simulation Interoperability Workshop, 2001.
2. Ober, I., "Harmonizing design languages with object-oriented extensions and an executable semantics", Ph.D Thesis at Institute National Polytechnique de Toulouse, Toulouse, France, 2004.
3. Kuzniarz L., Reggio G., Sourrouille J. L., Huzar Z., "Research Report 2002:06" Workshop on Consistency Problems in UML-based software development, Workshop Materials, , Blekinge Institute of Technology, Ronneby, Workshop at the UML 2002 Conference, online at http://www.ipd.bth.se/ consistencyUML/.
4. Kim, S and Carrington D., "A formal mapping between UML models and Object-Z specification and B", Volume.1878, Lecture Notes in Computer Science. Springer Verlag, 2000.
5. Sourrouille, J.L. and Caplat G., "A pragmatic view on consistency checking of uml models", in Kuzniarz L., Huzar Z., Reggio G., Sourrouille J. L., Staron M.: Workshop on Consistency Problems in UML-based software development II, Workshop Materials, Research Report, 2003.
6. Wagner R., Giese H., Nickel U.A., "A plug-in for fexible and incremental consistency management", in Kuzniarz L., Huzar Z., Reggio G., Sourrouille J. L., Staron M.: Workshop on Consistency Problems in UML-based software development II, Workshop Materials, Research Report, 2003.
7. Berardi D., Calvanese D., and De Giacomo G.: "Reasoning on UML class diagrams", Artificial Intelligence, 168, 70-118, May, 2005.
8. Van Der Straeten, R., Mens, T., Simmonds, J. and Jonckers, V., "Using Description Logic to Maintain Consistency between UML Models", Proceedings of 6th International Conference UML 2003, October 2003.
9. Chang L. P., Jong - Li D., Lin - Yi P. and Muder J., "Management and Control of Information Flow in CIM Systems Using UML and Petri Nets.", Int. J. Computer Integrated Manufacturing, Vol : 18, No : 2-3 2005.
10. Unhelkar B., "Verification and Validation for quality of UML 2.0 Models", Addison Wesley, 2005.
11. Travassos G.H, Shull F., Carver J., and Basili V.R., "Reading Techniques far OO Design Inspections", 24th Annual Software Engineering Workhop, NASAISEL, Greenbelt, USA, December, 1999.
12. ROSE, Rational Rose, online at http://www-306.ibm.com/software/rational/.
13. ArgoUml, An open source UML case tool, online at http://argouml.tigris. org/
14. TABU, Tool for the Active Behaviour of UML, 2004, online at http://www.cs.iastate.edu/~leavens/SAVCBS/2004/posters/Beato-Solorzano-Cuesta. pdf.
15. vUML, Verify UML, 1999 online at http://citeseer.ist.psu.edu/ lilius99vuml.html.
16. UML 2.0 Superstructure Specification, September, 2003, online at http://www.omg.org/docs/ptc/03-09-15.pdf,.
17. Tanriöver Ö., Bilgen S., "Verification and Validations of Simulation Conceptual Models in UML", Research Report, Informatics Institute, Metu, Ankara, Turkey, May, 2006.
18. Karagöz, A., Demirörs, O., "Developing Conceptual Models of the Mission Space (CMMS) - A Metamodel Based Approach", Proceedings of Simulation Interoperability Workshop (SIW), 2007.
19. Kama- - A- conceptual- modeling- tool- for- the- mission- space ,-Progress- Report- II,- General- Staff- Presidency,- Turkish- Armed-Forces,-2006.-
20. Fowler, M., "UML Distilled" - 2nd ed., A.W. Longman, 2000.
21. Murata, T. "Petri Nets: Properties, analysis and applications", Proc. IEEE 77, 4 April, 1989.
22. Aalst, W. "Workflow Management Systems - Models, Methods, Tools", MIT Press, 2002.