Information Technology Reference
In-Depth Information
have some limitations in finding a match because matching is based on graph similarity
techniques only, rather than inference in a DL. More generally, our framework can
leverage reasoning provided by DL to support pattern matching and pattern application.
7FinalRemarks
We have presented an approach to formalize problems and patterns using Description
Logics, so that, given a problem, we can find applicable patterns from a pattern library.
Moreover, when a pattern match succeeds, it provides mapping between elements of the
problem and variables in the pattern. These mapping are useful in determining how to
apply the pattern to a given problem. Our proposal has been evaluated in terms of a case
study using the SERENITY pattern library. Our experiences suggest that description
logics do constitute a viable solution to formalize patterns, and the problem represented
by a rich modeling language such as SI* can be accommodated in a description logic
using its concept definition facilities. A corollary of our case study is that there is an
important trade-off in formalizing patterns between making them too generic or too spe-
cific. Generic patterns match in many contexts but offer vanilla solutions. Conversely,
specific ones match few concepts but offer insightful solutions. Pattern designers need
to tread carefully as they navigate between these alternatives.
Our future work includes applying our framework to other pattern libraries. In ad-
dition, we propose to conduct a controlled experiment to empirically evaluate our ap-
proach with pattern designers and pattern users.
Acknowledgments
The research leading to these results has received funding from the EU FP7 under grants
no. 216917 MASTER, no. 256980 NESSoS, and no. 257930 ANIKETOS.
References
1. Alexander, C., Ishikawa, S., Silverstein, M.: A pattern language. Oxford Press (1977)
2. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable
Object-Oriented Software. Addison-Wesley Longman Publishing Co., Inc., Reading (1995)
3. Manolescu, D., Kozaczynski, W., Miller, A., Hogg, J.: The growing divide in the patterns
world. IEEE Software 24(4), 61-67 (2007)
4. Sommerville, I.: Software Engineering, 7th edn. Addison Wesley, Reading (May 2004)
5. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The
description logic handbook: theory, implementation, and applications. Cambridge University
Press, New York (2003)
6. Asnar, Y., Bryl, V., Dalpiaz, F., El-Khoury, P., Felici, M., Halas, H., Krausova, A., Li, K.,
Riccucci, C., Saidane, A., Seguran, M., Yautsiukhin, A.: Final set of S&D Patterns at Orga-
nizational Level. Project Deliverable A1.D3.3, SERENITY Consortium (January 2009)
7. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A
Semantic Web Rule Language Combining OWL and RuleML (May 2004),
http://www.
w3.org/Submission/2004/SUBM-SWRL-20040521/
