Article

Precise wis development

Authors:

Francisco Javier Lucas Martínez,

Fernando Molina Molina,

Ambrosio Toval Álvarez Toval Álvarez,

Maria Valeria De Castro,

Paloma Cáceres,

Esperanza MarcosAuthors Info & Claims

ICWE '06: Proceedings of the 6th international conference on Web engineering

Pages 71 - 76

https://doi.org/10.1145/1145581.1145595

Published: 11 July 2006 Publication History

Abstract

In recent years, Internet has become the platform that supports most areas in organizations. This fact has led to the appearance of specific tools for the construction of Web Information Systems (WIS). However, in these tools an absence of functionalities for verification and validation (V&V) of the models built has been detected. This work aims to redress this absence with the definition of a strategy for the specification of the models used in the WIS development that can be used with V&V objectives. The approach has been validated in a specific methodology (MIDAS) and an associated tool (MIDAS-CASE), both aligned with the MDA proposal. One of the diagrams used in this methodology has been formalized: the extended navigation model, achieving a precise specification of this diagram. This specification permits the definition and formal verification of properties related to this diagram, as well as its validation. The specification and verification of a concrete property are also shown.

References

[1]

R. Binder. Testing object-oriented systems: models, patterns and tool Massachusetts. The Addison-Wesley object technology series. A. Wesley, 1999.

Digital Library

[2]

P. Cáceres, V. De Castro, and E. Marcos. Navigation Modeling from a User Services Oriented Approach. Proceedings of the Third Biennial International Conference in Advanced in Information Systems (ADVIS 2004). T. Yakhno (eds.). LNCS 3271. Springer Verlag, pp. 150-160, 2004.

Digital Library

[3]

E. M. Clarke and J. M. Wing. Formal methods: state of the art and future directions. ACM Computing Surveys (CSUR), Volume 28 Issue 4, 1996.

Digital Library

[4]

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcote. Maude 2.0 Manual. Versión 1.0. http://maude.csl.sri.com/, 2003.

[5]

M. Epner. Poor Project Management Number-One Problem of Outsourced E-Projects. Research Briefs, Cutter Consortium, November 2000.

[6]

J. L. Fernández Alemán and A. Toval álvarez. Improving System Reliability via Rigorous Software Modeling: The UML Case. Proceedings of the 2001 IEEE Aerospace Conference (track 10: Software and Computing), Montana, USA IEEE Computer Society, March 2001.

[7]

A. Ginige. Web Engineering: Managing the Complexity of Web Systems Development. Workshop on web engineering: Web engineering: managing the complexity of web systems development. Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 2002.

Digital Library

[8]

T. Isakowitz, M. Bieber, and F. Vitali. COMMUNICATIONS OF THE ACM, volume 41, No. 7. Guest Editors, July 1998.

Digital Library

[9]

F. J. Lucas Martnez and A. Toval Álvarez. A Precise Approach for the Analysis of the UML Models Consistency. BP-UML'05: 1st International Workshop on Best Practices of UML, dentro del 24th Int. Conf. on Conceptual Modeling (ER 2005), Klagenfurt (Austria). 24--28 octubre, 2005. ISBN: 3-540-29395-7. LNCS 3770 Springer, November 2005.

Digital Library

[10]

E. Marcos, P. Cáceres, and V. De Castro. An approach for Navigation Model Construction from the Use Cases Model. The 16th Conference On Advanced Information Systems Engineering. CAISE'04 FORUM, pp. 83--92, 2004.

[11]

E. Marcos, V. De Castro, and B. Vela. Representing Web Services with UML: A Case Study. The First International Conference on Service Oriented Computing (ICSOC03). M.E. Orlowska, S. Weerawarana, M.P. Papazoglou, J. Yang (eds.). Springer Verlag, pp.15--27, 2003.

[12]

E. Marcos, B. Vela, and J. Cavero. Methodological Approach for Object-Relational Database Design using UML. Journal on Software and Systems Modeling (SoSyM). Springer-Verlag. France, R., Rumpe, B. (eds.). Volume SoSyM 2, pp.59--72., 2003.

[13]

N. Martí-Oliet and J. Meseguer. Rewriting logic: Roadmap and Bibliography. Theoretical Computer Science 285(2): 121--154., 2002.

Digital Library

[14]

B. Meyer, C. Mingins, and H. Schmidt. Providing Trusted Components to the Industry. Computer. pp. 104--105, May 1998.

Digital Library

[15]

OMG. MDA Guide Version 1.0.1. http://www.omg.org/mda, 2001. {16} OMG. Object Management Group. UML Superstructure 2.0. Draft adopted Specification. Retrieved from: http://www.omg.org/uml, 2004.

Cited By

Cabot JGómez C(2010)Evaluating the Consistency between Navigation and Data Models for Web ApplicationsInternational Journal of Information System Modeling and Design10.4018/jismd.20100701041:3(68-85)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.4018/jismd.2010070104
Eichinger CSchrefl MKotsis GTaniar DPardede E(2009)Navigation consistency in web site familiesProceedings of the 11th International Conference on Information Integration and Web-based Applications & Services10.1145/1806338.1806367(121-129)Online publication date: 14-Dec-2009
https://dl.acm.org/doi/10.1145/1806338.1806367
Molina FÁlvarez A(2007)A generic approach to improve navigational model usability based upon requirements and metricsProceedings of the 2007 international conference on Web information systems engineering10.5555/1781503.1781559(511-516)Online publication date: 3-Dec-2007
https://dl.acm.org/doi/10.5555/1781503.1781559
Show More Cited By

Index Terms

Precise wis development

Recommendations

Transformation techniques in the model-driven development process of UWE
ICWE '06: Workshop proceedings of the sixth international conference on Web engineering

Development of Web software is still an inefficient and error-prone process. We need integrated techniques and tool support for automated generation of Web systems. The goal of model-driven development (MDD) is to tackle these problems introducing a ...
Transformation from CIM to PIM Using Patterns and Archetypes
ASWEC '08: Proceedings of the 19th Australian Conference on Software Engineering

Model transformations form a key part of MDA (Model-Driven Architecture). Most of the studies deal with the transformations from PIM (Platform-Independent Model) to PSM (Platform-Specific Model) and PSM to Code, but very few deal with the transformation ...
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICWE '06: Proceedings of the 6th international conference on Web engineering

July 2006

384 pages

ISBN:1595933522

DOI:10.1145/1145581

General Chairs:
Dave Wolber
University of San Francisco, USA
,
Neil Calder
SLAC, USA
,
Program Chairs:
Chris Brooks
University of San Francisco, USA
,
Athula Ginige
University of Western Sydney, Australia

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

ACM: Association for Computing Machinery

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 July 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
404
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)1

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Cabot JGómez C(2010)Evaluating the Consistency between Navigation and Data Models for Web ApplicationsInternational Journal of Information System Modeling and Design10.4018/jismd.20100701041:3(68-85)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.4018/jismd.2010070104
Eichinger CSchrefl MKotsis GTaniar DPardede E(2009)Navigation consistency in web site familiesProceedings of the 11th International Conference on Information Integration and Web-based Applications & Services10.1145/1806338.1806367(121-129)Online publication date: 14-Dec-2009
https://dl.acm.org/doi/10.1145/1806338.1806367
Molina FÁlvarez A(2007)A generic approach to improve navigational model usability based upon requirements and metricsProceedings of the 2007 international conference on Web information systems engineering10.5555/1781503.1781559(511-516)Online publication date: 3-Dec-2007
https://dl.acm.org/doi/10.5555/1781503.1781559
Cabot JCeballos JGómez C(2007)On the quality of navigation models with content-modification operationsProceedings of the 7th international conference on Web engineering10.5555/1770588.1770596(59-73)Online publication date: 16-Jul-2007
https://dl.acm.org/doi/10.5555/1770588.1770596

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents