Main Article Content

Meenakshi Sridhar
Naseeb Singh Gill


In view of the fact that web applications are significantly large, complex, highly dynamic & critical software systems, it is desirable that processes of web design and development be systematic & be automated as far as possible. The task of automating an engineering activity is quite complex because it involves two types of contrasting intelligences: (i) Human intelligence which is rooted in informal expression, judgmental evaluation, inductive reasoning and commonsense, and (ii) The machine intelligence which is essentially based on formal expression, formal rule-based evaluation & deductive reasoning etc. Human intelligence is required for understanding the problem domains & their environments, and then for using the understanding for designing & developing solutions in such a form that it is understood and executed by the contrasting intelligence, viz. the machine intelligence.
The proposed approach takes care of the facts of human capabilities being rooted in informality & of machine capabilities being purely formal. For this purpose, solutions conceived by human experts—which are generally expressed in some natural language—are, first of all, translated to semi-formal mathematical entities: recursive lists. These recursive lists then are easily translated to fully formal entities in some functional programming language like LISP or Haskell. In this communication, the approach is applied to structural aspects of web and is explained through sufficient exemplars. The dynamics of web will be discussed subsequently.


Download data is not yet available.

Article Details




Casteleyn S., Daniel F., Dolog P. & Matera M.( 2009) Engineering Web Applications, Springer

Gerti Kappel, Birgit Proll, Siegfried Reich (editors) (2006) Web Engineering: The Discipline of Systematic Development of Web Applications John Wiley

Gustavo Rossi et al (editors) (2008) Web Engineering: Modelling and Implementing Web Applications Springer Verlag

Emila Mendes, Nile Mosley (editors) (2006) Web Engineering Springer Verlag, San Murugesan & Yogesh Deshpande (editors) (2001) Web Engineering LNCS 2016, Springer Verlag

Formal Methods in Software Engineering by Stephan Schulz,

John Cooke (2005) Constructing Correct Software Second Edition Springer

D. Bjørner (2006) Software Engineering 3 Domains, Requirements, and Software Design springer

Almeida et al (2011) Rigorous Software Development: An Introduction to Program Verification, Springer

I.H.M. van (2009) Applying Formal Specifications in Web Design – A Comparative Study Fourth International Multi-Conference on Computing in the Global Information Technology, Coppenhagen

Donald Sannella, Andrzej Tarlecki, (2012) Foundations of Algebraic Specification and Formal Software Development Springer

Automated Software Engineering, An International Journal, ISSN: 0928-8910 (Print) 1573-7535 (Online)

Meenakshi Sridhar, Naseeb Singh Gill (2015) Imperfection of Domain Knowledge and Its

Formalization in Context of Design of Robust Software Systems, Journal of Software Engineering and Applications, 2015, 8, 489-498

Meenakshi Sridhar, Naseeb Singh Gill (2015) Formal Conceptual Framework for Structure of Context of Component-Based System for Designing Robust Software Systems & Metrics, International Journal of Computer Applications (0975 – 8887) February 2015

C. Serban, A. Vescan and H. Pop, (2010) A Conceptual Framework for Component-based System Metric Definition

M. Goulão, F. Abreu,( 2005) Formalizing metrics for COTS, Department of Informatics, Faculty of Sciences and Technology, New University of Lisbon,2825-114 Monte de Caparica, Portugal, 2005.

J. Woodcock, P. Larsen, J. Bicarregui and J. Fitzgerald, (2009) Formal Methods: Practice and Experience, ACM Computing Surveys, Vol. 41, No. 4, Article 19, Publication date: October 2009.

J. Zhixiong, L. Qian, and X. Pen,(2007) A Formal framework for description of semantic web services , Seventh International Conference on Computer and Information Technology 2007 IEEE, DOI 10.1109 10.1109/CIT.2007.24.

Brooks, F.P. (1986) No Silver Bullet—Essence and Accident in Software Engineering. Proceedings of the IFIP Tenth

Mair, C. and Shepperd, M. (2011) Human Judgement and Software Metrics: Vision for the Future ICSE’11. 21-28 May 2011, Honolulu.

Harman, M. (2012) The Role of Artificial Intelligence in Software Engineering RAISE 2012. Zurich.

Berners-Lee T., Cailliau R., Groff J-F, and Pollermann B., (1992) World-Wide Web: The Information Universe, pp. 52-58 Vol.2/No. 1 Electronic Networking â– Spring 1992

Ali Ouni, Zouhour Salem, Katsuro Inou, Makram Soui, (2016) SIM: An Automated Approach to Improve Web Service Interface Modularization, 2016 IEEE International Conference on Web Services

Venkatesh Mabbu and Abu Asaduzzaman, Muhammad F. Mridha (2016) A Novel Semantic Knowledge Engine Using Automated Knowledge Extraction from World Wide Web, 5th International Conference on Informatics, Electronics and Vision (ICIEV)

Chun-Hsiung Tseng, Yung-Hui Chen, Yan-Ru Jiang,Pin-Yu Su,Fang-Chi Tsai

(2016) Automating Web Tasks by Simulating Browser Behaviors, 2016 International Conference on Platform Technology and Service (PlatCon), 15-17 Feb. 2016

Nouzha Harrati, Imed Bouchrika, Abdelkamel Tari and Ammar Ladjailia (2015) Automating the

Evaluation of Usability Remotely for Web Applications via a Model-Based Approach, 2015 First International Conference on New Technologies of Information and Communication (NTIC), 8-9 Nov. 2015

Riihimäki T. (2014) Evaluating the Value of Web Metrics, Thesis submitted by, Department of Information and Service Economy, School of Business, Aalto University,.

C l i f t o n B. (2012) Advanced Web Metrics with Google Analytics Third Edition by, John Wiley

Dhyani D., Ng W. K, Bhowmick S. S., (2002) A Survey of Web Metrics, ACM Computing Surveys, Vol. 34, No. 4, December 2002, pp. 469–503