Abstract
The Pattern Language Verifier (PLV) is a process for verifying the application of a pattern language in a design. The PLV process focuses on a pattern language for the design of web-based enterprise applications. We show how PLV exploits the ideas of programming language compilers to detect the structural, syntactic, and semantic errors in a design model and then guides the designer in fixing the problems. To provide tool support, we integrate PLV into the ArgoUML modeling tool. We use the tool to design a simple student registration system as a case study, and show how the process finds the mistakes in the model and helps the designer in repairing the detected problems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bézivin, J.: Model driven engineering: An emerging technical space. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 36–64. Springer, Heidelberg (2006)
Fowler, M.: Patterns of Enterprise Application Architecture, 1st edn. Addison-Wesley, Reading (2002)
Tigris.org: Argouml official web site (Retrieved on May 20, 2008), http://argouml.tigris.org/
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston (1995)
Alexander, C., et al.: A Pattern Language: Towns, Buildings, Construction. Oxford University Press, Oxford (1977)
Hillside.net: Patterns web site (Retrieved on May 20, 2008), http://hillside.net/
Schmidt, D.C., Fayad, M., Johnson, R.E.: Software patterns. Commun. ACM 39, 37–39 (1996)
Fowler, M.: Writing software patterns (2006), http://www.martinfowler.com/articles.html
Berczuk, S.: Finding solutions through pattern languages. Computer 27, 75–76 (1994)
Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Boston. Addison-Wesley Longman Publishing Co., Boston (1986)
OMG: Unified Modeling Language: Specification, v1.4. OMG document formal/01-09-67 (2001)
Zamani, B., Butler, G., Kayhani, S.: Tool support for pattern selection and use. In: Second International Workshop on Software Quality and Maintainability, CSMR 2008 conference, ENTCS 2008, Athens, Greece (to appear, 2008)
Zamani, B., Butler, G.: Critiquing the application of pattern languages on uml models. In: Workshop on Quality in Modeling, MODELS 2007 Conference, Nashville, TN, USA, pp. 18–35 (2007)
Bergenti, F., Poggi, A.: Improving uml designs using automatic design pattern detection. In: 12th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 336–343 (2000)
Tsantalis, N., Chatzigeorgiou, A., Stephanides, G., Halkidis, S.T.: Design pattern detection using similarity scoring. IEEE Trans. Software Eng. 32, 896–909 (2006)
Breu, R., Chimiak-Opoka, J.: Towards systematic model assessment. In: Akoka, J., Liddle, S.W., Song, I.-Y., Bertolotto, M., Comyn-Wattiau, I., van den Heuvel, W.-J., Kolp, M., Trujillo, J., Kop, C., Mayr, H.C. (eds.) ER Workshops 2005. LNCS, vol. 3770, pp. 398–409. Springer, Heidelberg (2005)
Liu, W., Easterbrook, S., Mylopoulos, J.: Rule-based detection of inconsistency in uml models. In: Workshop on Consistency Problems in UML-Based Software Development, Dresden, Germany, pp. 106–123 (2002)
Kolovos, D.S., Paige, R.F., Polack, F.A., Rose, L.M.: Update transformations in the small with the epsilon wizard language. Journal of Object Technology (JOT), Special Issue for TOOLS Europe 6, 53–69 (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zamani, B., Kayhani, S., Butler, G. (2008). A Pattern Language Verifier for Web-Based Enterprise Applications. In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_39
Download citation
DOI: https://doi.org/10.1007/978-3-540-87875-9_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87874-2
Online ISBN: 978-3-540-87875-9
eBook Packages: Computer ScienceComputer Science (R0)