The complexity of current software tools increases with the complexity of problem solving tasks they are designed to assist and are mainly dedicated to computer educated people. On the other hand current computer technology is deeply involved in people’s everyday life. This gap deepens and stresses software technology and computer education. The purpose of this paper is to discuss the feasibility of a new computer based problem solving methodology based on software tools that can be manipulated through the use of natural language. By computational emancipation the natural language becomes a family of non-ambiguous languages. This means that every problem solver uses a non-ambiguous natural language, termed here as Domain Algorithmic Language, DAL. Here we show how to develop software tools dedicated to the problem domain and illustrate the methodology we propose with the software tools required by teaching high school algebra.
References
[1]
Rus, T. (2013) Computer Integration within Problem Solving Process. Proceedings of RoEduNet 11th International Conference, Sinaia, 17-19 January 2013, 7-19.
[2]
Falbo, R.A. (2016) An Ontology Pattern Language for Service Modeling. Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, 4-8 April 2016, 321-326. https://doi.org/10.1145/2851613.2851840
[3]
Rus, T. (2016) Milestones for Computing Future. Open Journal of Software Engineering and Applications, 9, 52-56. https://doi.org/10.4236/jsea.2016.92003
[4]
Software as a Service (SAAS). en.wikipedia.org/wiki/Software as a service, 2010.
[5]
Srinivasan, N. and Getov, V. (2011) Navigating the Cloud Computing Landscape—Technologies, Services, and Adopters. Computer, 44, 22-23. https://doi.org/10.1109/MC.2011.91
[6]
Polya, G. (1973) How to Solve It. Second Edition, Princeton University Press, Princeton.
[7]
Rus, T. and Rus, D. (1993) Systems Methodology for Software. World Scientific, Singapore.
[8]
Bui, C.K. (2013) An Evolutional Domain Oriented Approach to Problem Solving Based on Web Service Composition. PhD Thesis, The University of Iowa, Department of Computer Science, Iowa City.
[9]
Sipser, M. (2006) Introduction to the Theory of Computation. Second Edition, Thomson Course Technology, Boston.
[10]
McBride, B. (2004) The Resource Description Framework (RDF) and Its Vocabulary Description Language RDFS. Springer, Berlin, 51-65. https://doi.org/10.1007/978-3-540-24750-0_3
[11]
Kline, G. and Caroll, J. (2004) W3c, Resource Description Framework (RDF): Concepts and Abstract Syntax. http://www.w3.org/TR/rdf-concepts
[12]
Takeuti, G. and Zaring, W. (1971) Introduction to Axiomatic Set Theory. Springer-Verlag, Berlin. https://doi.org/10.1007/978-1-4684-9915-5
[13]
Badder, F., Calvanese, D., McGuinnes, D., Nardi, D. and Patel-Schneider, P. (2005) The Description Logic Handbook. Cambridge University Press, Cambridge.
[14]
McGuinness, D. and van Harmelen, F. (2003) OWL Overview, OWL Web Ontology Language Overview. W3C Proposed Recommendation, 15 December 2003. http://www.w3.org/TR/2003/PR-owl-features-20031215
[15]
Aho, A., Sethi, R. and Ullman, J. (1986) Compilers: Principles, Techniques, and Tools. Addison-Wesley, Boston.
[16]
Guarino, N. and Welty, C. (2000) A Formal Ontology of Properties. In: Dieng, R., Ed., Proceedings of 12th International Conference on Knowledge Engineering and Knowledge Management, Springer Verlag, Berlin, 97-112. https://doi.org/10.1007/3-540-39967-4_8
[17]
Guarino, N. and Welty, C. (2002) Evaluating Ontological Decisions with OntoClean. Communications of the ACM, 45, 61-65. https://doi.org/10.1145/503124.503150
[18]
Welty, C. and Guarino, N. (2001) Supporting Ontological Analysis of Taxonomic Relationship. Data & Knowledge Engineering, 39, 51-74. https://doi.org/10.1016/S0169-023X(01)00030-1
[19]
Hurby, P. (2005) Ontology-Based Domain-Driven Design. OOPSLA05 Workshop on Best Practices for Model Driven Software Development, San Diego, 16-20 October 2005.
[20]
Brusa, G., Chiotti, O., et al. (2006) A Process for Building a Domain Ontology: An Experience in Developing a Government Budgetary Ontology. Proceedings, Australian Ontology Workshop (AOW 2006), Vol. 72.
[21]
Boyce, S. (2007) Developing Domain Ontologies for Course Content. International Forum of Educational Technology & Society, 10, 275-288.
[22]
Hernandez, N., Mothe, J., Chrisment, C. and Egret, D. (2007) Modeling Context through Domainontology. Information Retrieval, 10, 143-172. https://doi.org/10.1007/s10791-006-9018-0
[23]
Rector, A. (2003) Modularisation of Domain Ontologies Implemented in Description Logics and Related Formalism Including Owl. Proceedings of the 2nd International Conference on Knowledge Capture (K-CAP 2003), Sanibel Island, 23-25 October 2003, 121-128.
[24]
Lightweight, Domain Ontoloogy Development Methodology. http://techwiki.openstructs.org/index.php
[25]
Owl 2 Web Ontology Language Manchester Syntax. https://www.w3.org/TR
[26]
Horridge, M. (2011) Protege-Owl Tutorial. http://owl.cs.manchester.ac.uk/tutorials/protegeowltutorial
[27]
The Apache (2011) Axis2/Java. http://axis.apache.org/axis2/java/core
[28]
The Apache CXF (2011) An Open Source Services Framework. http://cxf.apache.org
[29]
T.F.E. Wikipedia (2011) EnterpriseJavaBean. http://en.wikipedia.org/wiki/EnterpriseJavaBean
[30]
Metro (2008) Web Services for Java Platform. http://java.sun.com/webservices/reference/tutorials
[31]
Popek, G. and Goldberg, R. (1974) Formal Requirements for Virtualizable Third Generation Architectures. Communications of the ACM, 17, 412-421. https://doi.org/10.1145/361011.361073
[32]
Rus, T. and Curtis, D. (2007) Towards an Application Driven Software Technology. The Proceedings of the 2007 International Conference on Software Engineering Research & Practice, Las Vegas, 25-28 June 2007, 282-288.
[33]
Rus, T. (2008) Liberate Computer User from Programming. In: Meseguer, J. and Roşu, G., Eds., 12th International Conference, AMAST 2008, LNCS Vol. 5140, Springer, Berlin, 16-35. https://doi.org/10.1007/978-3-540-79980-1_3
[34]
Monroe, R. (2001) Capturing Software Architecture Design with Armani. Tech. Rep. CMU-CS-163, Carnegie Mellon University, Pittsburgh.
