A Pattern Language Verifier for Web-Based Enterprise Applications

Authors:
Bahman Zamani;Sahar Kayhani;Greg Butler
Affiliations:
Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada;Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada
Venue:
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Year:
2008

Citing 8
Cited 1

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Software patterns

Communications of the ACM
Patterns of Enterprise Application Architecture

Patterns of Enterprise Application Architecture
Finding Solutions Through Pattern Languages

Computer
Design Pattern Detection Using Similarity Scoring

IEEE Transactions on Software Engineering
Model driven engineering: an emerging technical space

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Towards systematic model assessment

ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling

Pattern Language Verification in Model Driven Design

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

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.