Ontology-based design pattern recognition

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

Volumn 5177 LNAI, Issue PART 1, 2008, Pages 384-393

  Kirasić, Damir ^a   Basch, Danko ^a  

^a UNIVERSITY OF ZAGREB   (Croatia)

Author keywords

Description logics; Formal pattern definition; Knowledge based system; Ontology based system; OWL application; Static code analysis

Indexed keywords

BIRDS; DATA DESCRIPTION; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; ONTOLOGY;

DESCRIPTION LOGIC; GENERAL PROGRAMMING; ONTOLOGY-BASED; ONTOLOGY-BASED SYSTEMS; PATTERN DEFINITION; PRACTICAL ISSUES; RECOGNITION SYSTEMS; STATIC CODE ANALYSIS;

PATTERN RECOGNITION;

EID: 57849113989     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85563-7_50     Document Type: Conference Paper

References (26)

1. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Professional, Reading (1995)
2. Rutar, N., Almazan, C., Foster, J.: A Comparison of Bug Finding Tools for Java. In: Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering, St. Malo, France (November 2004)
3. Pistoia, M., Chandra, S., Fink, S.J., Yahav, E.: A survey of static analysis methods for identifying security vulnerabilities in software systems. IBM System Journal 46(2) (2007)
4. Engler, D., Musuvathi, M.: Static Analysis versus Model Checking for Bug Finding. In Verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 191-210. Springer, Heidelberg (2004)
5. Gulavani, B.S., Henzinger, T.A., Kannan, Y., Nori, A.V., Rajamani, S.K.: Synergy: A New Algorithm for Property Checking. In: FSE 2006: 14th Annual Symposium on Foundations of Software Engineering (November 2006)
6. Niere, J., Schafer, W., Wadsack, J., Wendehals, L., Welsh, J.: Towards pattern-based design recovery. In: Proceeding's of the 24rd International Conference on Software Engineering, pp. 338-348. ACM, New York (2002)
7. Lattner, C., Adve, V.: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In: Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO 2004), Palo Alto, California (March 2004)
8. Tarditi, D., Puri, S., Oglesby, J.: Accelerator: Using Data Parallelism to Program GPUs for General-Purpose Uses. In: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems 2006, San Jose, CA, USA, October 21 - 25 (2006)
9. Zhang, Y., Witte, R., Rilling, J., Haarslev, V.: An Ontology-based Approach for Traceability Recovery. In: 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies for Reverse Engineering (ATEM 2006), Genoa (October 2006)
10. Ng, J.K.-Y., Guhneuc, Y.-G.: Identification of Behavioral and Creational Design Patterns through Dynamic Analysis. In: Zaidman, A., Hamou-Lhadj, A., Greevy, O. (eds.) Proceedings of the 3 International Workshop on Program Comprehension through Dynamic Analysis, October 2007, pp. 34-42 (2007)
11. Pattersson, N.: Measuring precision for static and dynamic design pattern recognition as a function of coverage. In: International Conference on Software Engineering, St. Louis, Missouri (2005)
12. Tsantalis, N., Chatzigeorgiou, A., Stephanides, G., Halkidis, S.: Design Pattern Detection Using Similarity Scoring. IEEE transaction on software engineering 32(11) (November 2006)
13. Shi, N., Olsson, R.A.: Reverse engineering of design patterns from Java source code. In: 21st IEEE/ACM International Conference on Automated Software Engineering (2006)
14. Dong, J., Zhao, Y., Peng, T.: Architecture and Design Pattern Discovery Techniques - A Review. In: Arabnia, H.R., Reza, H. (eds.) Proceedings of the 2007 International Conference on Software Engineering Research & Practice, SERP 2007, Las Vegas Nevada, June 25-28, 2007, vol. II, pp. 621-627 (2007)
15. Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language Reference, W3C Recommendation (February 10, 2004), http://www.w3.org/TR/owl-ref/
16. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook, 2nd edn. The theory, Implementation and Applications. Cambridge University Press, Cambridge (2007)
17. Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F. (eds.): Extensible Markup Language (XML) 1.0, 4th edn. W3C Recommendation (August 16, 2006), http://www.w3.org/TR/2006/REC-xml-20060816/
18. Knublauch, H., Fergerson, R.W., Noy, Noy, F., Musen, M.A.: The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, Springer, Heidelberg (2004)
19. Rattz Jr., J.C.: Pro LINQ: Language Integrated Query in C# 2008. Apress (2007)
20. Parr, T.: The Definitive ANTLR Reference: Building Domain-Specific Languages. The Pragmatic Programmers (2007)
21. Bloch, J.: Effective Java Programming Language guide. Addison-Wesley Professional, Reading (2001)
22. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission 21 May 2004 (2004), http://www.w3.org/Submission/SWRL/
23. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2) (2007)
24. Motik, B., Shearer, R., Horrocks, I.: Optimized Reasoning in Description Logics using Hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 67-83. Springer, Heidelberg (2007)
25. Horrocks, I., Sattler, U.: A Tableau Decision Procedure for SHOIQ. J. of Automated Reasoning 39(3), 249-276 (2007)
26. Horridge, M., Bechhofer, S., Noppens, O.: Igniting the OWL 1.1 Touch Paper: The OWL API. In: OWLED 2007, 3rd OWL Experienced and Directions Workshop, Innsbruck, Austria (June 2007)