Literatura académica sobre el tema "BPEL (Computer program language) Web services"

Currently, Web services give place to active research and this is due both to industrial and theoretical factors. On one hand, Web services are essential as the design model of applications dedicated to the electronic business. On the other hand, this model aims to become one of the major formalisms for the design of distributed and cooperative applications in an open environment (the Internet). In this article, the authors will focus on two features of Web services. The first one concerns the interaction problem: given the interaction protocol of a Web service described in BPEL, how to generate the appropriate client? Their approach is based on a formal semantics for BPEL via process algebra and yields an algorithm which decides whether such a client exists and synthesizes the description of this client as a (timed) automaton. The second one concerns the design process of a service. They propose a method which proceeds by two successive refinements: first the service is described via UML, then refined in a BPEL model and finally enlarged with JAVA code using JCSWL, a new language that we introduce here. Their solutions are integrated in a service development framework that will be presented in a synthetic way.

Business process specified in Business Process Execution Language (BPEL), which integrates existing services to develop composite service for offering more complicated function, is error-prone. Verification and testing are necessary to ensure the correctness of business processes. SPIN, for which the input language is PROcess MEta-LAnguage (Promela), is one of the most popular tools for detecting software defects and can be used both in verification and testing. In this paper, an automatic approach is proposed to construct the verifiable model for BPEL-based business process with Promela language. Business process is translated to an intermediate two-level representation, in which eXtended Control Flow Graph (XCFG) describes the behavior of BPEL process in the first level and Web Service Description Models (WSDM) depict the interface information of composite service and partner services in the second level. With XCFG of BPEL process, XCFGs for partner services are generated to describe their behavior. Promela model is constructed by defining data types based on WSDM and defining channels, variables and processes based on XCFGs. The constructed Promela model is closed, containing not only the BPEL process but also its execution environment. Case study shows that the proposed approach is effective.

A web service composition is considered as a real revolution in SOA (Service Oriented Architecture). It is based on assembling independent and loosely coupled services to build a composed web service. This composition can be described from both a local or a global perspective by respective orchestration or choreography. The validation of web service orchestrations is the main topic of this work. It is based on the verification of two classes of properties: generic and specific properties. The former can be checked for any invoked web services whereas the specific properties are different interdependence relationships between activities within an orchestration process. These properties cannot be directly verified on the orchestration process, so, the authors have to use formal techniques. In this paper, they propose a formal approach for the validation of web service orchestrations. This work adopts WS-BPEL 2.0 as the language to describe the web service orchestration and uses the SPIN model-checker for the verification engine. The WS-BPEL specification is translated into Promela code which is the input language for the SPIN model-checker, in order to check generic and specific properties expressed with LTL (Linear Temporal Logic).

Workflow-based web service compositions (WB-WSCs) is one of the main composition categories in service oriented architecture (SOA). Eflow, polymorphic process model (PPM), and business process execution language (BPEL) are the main techniques of the category of WB-WSCs. Due to maturity of web services, measuring the quality of composite web services being developed by different techniques becomes one of the most important challenges in today’s web environments. Business should try to provide good quality regarding the customers’ requirements to a composed web service. Thus, quality of service (QoS) which refers to nonfunctional parameters is important to be measured since the quality degree of a certain web service composition could be achieved. This paper tried to find a deterministic analytical method for dependability and performance measurement using Colored Petri net (CPN) with explicit routing constructs and application of theory of probability. A computer tool called WSET was also developed for modeling and supporting QoS measurement through simulation.

Many web services not only communicate through XML-based messages, but also may dynamically modify their behaviors by applying different interpretations on XML messages through updating the associated XML Schemas or XML-based interface specifications. Such artifacts are usually complex, allowing XML-based messages conforming to these specifications structurally complex. Testing should cost-effectively cover all scenarios. Test case prioritization is a dimension of regression testing that assures a program from unintended modifications by reordering the test cases within a test suite. However, many existing test case prioritization techniques for regression testing treat test cases of different complexity generically. In this paper, the authors exploit the insights on the structural similarity of XML-based artifacts between test cases in both static and dynamic dimensions, and propose a family of test case prioritization techniques that selects pairs of test case without replacement in turn. To the best of their knowledge, it is the first test case prioritization proposal that selects test case pairs for prioritization. The authors validate their techniques by a suite of benchmarks. The empirical results show that when incorporating all dimensions, some members of our technique family can be more effective than conventional coverage-based techniques.

Web-based problem solving environments provide sharing, execution and monitoring of scientific workflows. Where they depend on general purpose workflow development systems, the workflow notations are likely far too powerful and complex, especially in the area of biology, where programming skills are rare. On the other hand, application specific workflow systems may use special purpose languages and execution engines, suffering from a lack of standards, portability, documentation, stability of investment etc. In both cases, the need to support yet another application on the desk-top places a burden on the system administration of a research lab. In previous research the authors have developed the web based workflow systems Calvin and Hobbes, which enable biologists and computer scientists to approach these problems in collaboration. Both systems use a server-centric Web 2.0 based approach. Calvin is tailored to molecular biology applications, with a simple graphical workflow-language and easy access to existing BioMoby web services. Calvin workflows are compiled to industry standard BPEL workflows, which can be edited and refined in collaboration between researchers and computer scientists using the Hobbes tool. Together, Calvin and Hobbes form our workflow platform MoBiFlow, whose principles, design, and use cases are described in this paper.

As the SQL injection attack is still at the top of the list at Open Web Application Security Project (OWASP) for more than one decade, this type of attack created too many types of issues for a web application, sensors, or any similar type of applications, such as leakage of user private data and organization intellectual property, or may cause Distributed Denial of Service (DDoS) attacks. This paper focused on the poor coding or invalidated input field which is a big cause of services unavailability for web applications. Secondly, it focused on the selection of program created issues for the WebSocket connections between sensors and the webserver. The number of users is growing to use web applications and mobile apps. These web applications or mobile apps are used for different purposes such as tracking vehicles, banking services, online stores for shopping, taxi booking, logistics, education, monitoring user activities, collecting data, or sending any instructions to sensors, and social websites. Web applications are easy to develop with less time and at a low cost. Due to that, business community or individual service provider’s first choice is to have a website and mobile app. So everyone is trying to provide 24/7 services to its users without any downtime. But there are some critical issues of web application design and development. These problems are leading to too many security loopholes for web servers, web applications, and its user’s privacy. Because of poor coding and validation of input fields, these web applications are vulnerable to SQL Injection and other security problems. Instead of using the latest third-party frameworks, language for website development, and version database server, another factor to disturb the services of a web server may be the socket programming for sensors at the production level. These sensors are installed in vehicles to track or use them for booking mobile apps.

Crime statistics from the US Bureau of Justice and the FBI Uniform Crime Report show a gap between reported and unreported crime. For police to effectively prevent and solve crime, they require accurate and complete information about incidents. This article describes the evaluation of a crime reporting and interviewing system that witnesses can use to report crime incidents or suspicious activities anonymously while ensuring the information received is of such quality that police can use it to begin an investigation process. The system emulates the tasks that a police investigator would perform by leveraging natural language processing technology and the interviewing techniques used in the Cognitive Interview. The system incorporates open-source code from the General Architecture for Text Engineering (GATE) program developed by researchers at the University of Sheffield, Web and database technology, and Java-based proprietary code developed by the author. Findings of this evaluation show that the system is capable of producing accurate and complete reports by enhancing witnesses' memory recall and that its efficacy approximates the efficacy of a human conducting a cognitive interview closer than existing alternatives. The system is introduced as the first computer application of the cognitive interview and proposed as a viable alternative to face-to-face investigative interviews.

Microsoft office Excel is an important part of the Microsoft Office suite of software that can be processed, statistical analysis of various data, with its quick style and rich functionality has been generally welcomed, but with the database networking and sharing trends deepening, Excel application bottlenecks in stand-alone mode began to appear, and the network is the computer information technology in today's inevitable end, I imagine combining ADO technology developed by Delphi Excel data server in order to break this limitation, changes in non-network applications Excel mode.Excel Data Server is a set of services and client program, the server deployed on the server, the client is retrieved by the query language SQL, Excel data file can perform various operations and customer interface directly to form a Web-based application systems, customer service not only to support the application at both ends of the LAN, you can also support the application on the Internet. In this paper, Delphi7.0 support, using ADO and RemObjects SDK tools to develop an Excel data server. RemObjects referred to RO. RO version a lot, but it is recommended to use RemObjects Data Abstract 6.0.43.801, Delphi's experience in the development of it appear to be more stable, server-side and client-side data connections and programming efficiency, data manipulation more convenient.

Science and Technology develop very fast in every aspect of life, including in the aspect of education. As the development of science and technology, guiding teachers to be able to make use various kinds of creative and innovative learning media in learning process at school is needed in order to increase the effectivity of the learning process which will have impact on the students’ learning motivation and learning outcomes. According to the explanation, learning multimedia needs to be developed in order to increase the students’ learning motivation and learning outcomes. This research is a research and development (R&D), which is then modified by using Tessmer formative evaluation. The analysis results show that the web-based learning multimedia for lithosphere material has been proven its eligibility, that the web-based learning is valid, practical, to be used in learning process and is effective in increasing students learning motivation and learning outcomes. References Bowman, S. F. (2015). Evaluation in Instructional Design Practice: A View from The Stakeholders. (Dissertation Doctor, Capella University, 2015). Retrieved from https://search. proquest.com/docview/1707694509/fulltext PDF/D439E6E103D04792PQ/6?accountid=31324. Cahyono, K. (2013). Penggunaan Media Interaktif Berbasis Web untuk Meningkatkan Motivasi dan hasil Belajar. Jurnal Teknik Informatika Abdurrab University. Retrieved from http://binaprajajournal.com/ojs/index. php/jbp/article/view/117. Daljoeni, N. (2014). Pengantar Geografi. Yogyakarta: Ombak. Day, T. (2012). Undergraduate Teaching and Learning in Physical Geography. Journal Physical Geography, 36(3). Retrieved fom https://search. proquest. com/doc view/1019246195/B5C4C63F0A8F4962PQ/1?accountid=31324. Fadli, M. S. & Ikawati, H. D. (2017). Penggunaan Multimedia untuk Meningkatkan Motivasi Belajar Siswa. Jurnal Teknologi Pendidikan, 2(2). Retrieved from http://ojs.ikipmataram.ac.id/index.php/jtp/article/view/598. Gilakjani, A. P. (2012). The Significant Role of Multimedia in Motivating EFL Learners’ Interest in English Language Learning. Journal Modern Education and Computer Science, 4(4). Retrieved from https://search. proquest.com/docview/1627735482/509798BC9EC481FPQ/1?accountid=31324. Hake, R. R. (1999). Analyzing Change/Gain Score. Dept. of Physics, Indiana University. Retrieved from http://www.physics.indiana.edu/~sdi/Analyzing Change-Gain. Hawley, D & Lyon, J. (2017). Plate Update: Refreshing Ideas for Teaching Plate Tectonics. Teaching Geography, 42(1). Retrieved from https://search.pro quest.com/docview/1952375936/73816528324E4DACPQ/1?accountid=31324. Huang, Q. (2012). Action Research on Motivation in English Reading. Journal Theory and Practice in Language Studies, 2(8). Retrieved from https://search. proquest.com/docview/1619300790/fulltextPDF/D04EC91FA9214B89PQ/2?accountid=31324. Kusumaningtias, A. D. & Mukminan. (2014). Pengembangan Multimedia Pembelajaran Geografi dengan Materi Litosfer dan Pedosfer untuk SMA Kelas X. Jurnal Ilmu-ilmu Sosial, 11(1). Retrieved from https://jurnal.uny.ac.id/index.php/sosia/article/download/5284/4583. Milovanovic, M. Perisic, J., Vukotic, S. Bugarcic, M. Radovanovic, L. &Ristic, M. (2016). Learning Mathematic Using Multimedia in Engineering Education. Journal Acta Technica Corviniensis – Bulleting of Engineering, 9(1). Retrieved from https://search.proquest.com/docview/1767584934/559B63 F69E094F98PQ/1?accountid=31324. Moeed, A. (2015). Science Investigation Students View about Learning, Motivation and Assessment. Singapore: Springer. Mohasin, S. F., Shinde, P. A. &Khaparde. (2013). E-Learning: A Tool for Library and Information Services. Journal of Library & Information Science, 3(2). Retrieved from https://search.proquest.com/docview/1440877148/fulltext PDF/33223E6022A248ECPQ/1?accountid=31324. Permadi, A. A. (2016). Pengembangan Media Pembelajaran Interaktif Berbasis Web dengan Pemanfaatan Video Conference Mata Pelajaran Produktif Teknik Komputer dan jaringan di Sekolah Menengah Kejuruan. Jurnal Pendidikan Teknologi dan Kejuruan. Retrieved from http://jural.unm.ac.id/ 3123/1/Jurnal.pdf. Presiden Republik Indonesia. (2000). Keputusan Presiden Republik Indonesia Nomor 50 Tahun 2000 Tentang Tim Koordinasi Telematika Indonesia. Robb, C. (2010). The Impact of Motivational Messages on Student Performance in Community College Online Courses. (Dissertation Doctor, University of Illinois at Urbana-Champaign, 2010). Retrieved from https://search.proquest.com/docview/778224030/18ED422A32FC4231PQ/3?accountid=31324 Sahrir, M. S., Alias, N. A., Ismail, Z., & Osman, N. (2012). Employing Design and Development Research (DDR): Approaches in the Design and Development of Online Arabic Vocabulary Learning Games Prototype. Journal of Educational Technology, 11(2). Retrieved from https://search. proquest.com/docview/1288340626/fulltextPDF/D439E6E103D04792PQ/1?accountid=31324. Sari, H. V. & Suswanto, H. (2017). Pengembangan media pembelajaran Berbasis Web Untuk mengukur hasil Belajar siswa pada mata pelajaran Komputer Jaringan Dasar program Keahlian teknik komputer dan jaringan.Jurnal Pendidikan, 2(7). Retrieved from http://journal.um.ac.id/index.php/jptpp/ article/view/9734/4593. Su, C. H. (2016). The effects of students' motivation, cognitive load and learning anxiety in gamification software engineering education: a structural equation modeling study. Journal Multimedia Tools Application, 75(16). Retrieved from https://search.proquest.com/docview/1867930658/fulltextPDF/9482B 31FA03D4E7CPQ/1?accountid=31324. Tessmer, M. (1998). Planning and Conducting Formative Evaluation. London: Kogan Page Limited. Tsai, M. J. (2009). The Model of Strategic e-Learning: Understanding and Evaluating Student E-Learning from Metacognitive Perspectives. Journal Educational Technology & Society, 12(1). Retrieved from https://search. p1roquest.com/docview/1287039259/20B52566A67140DBPQ/1?accountid=31324. Umar. (2013). Studi Komparatif Penguasaan Konsep Ulumul Qur’an Dalam Pembelajaran Yang Menggunakan Full E-Learning Dan Blended E-Learning. Jurnal TAPIS, 13(1). Retrieved from http://id.portalgaruda.org/? ref=browse&mod=viewarticle&article=252276. Wiyani, N. A. (2012). Desain Pembelajaran Pendidikan: Tata Rancang Pembelajaran Menuju Pencapaian Kompetensi. Yogyakarta: Ar-Ruzz Media. Copyright (c) 2018 Geosfera Indonesia Journal and Department of Geography Education, University of Jember This work is licensed under a Creative Commons Attribution-Share A like 4.0 International License

The thesis presents a qualitative survey of web services' interoperability, offering a snapshot of development and trends at the end of 2005. It starts by examining the beginnings of web services in earlier distributed computing and middleware technologies, determining the distance from these approaches evident in current web-services architectures. It establishes a working definition of web services, examining the protocols that now seek to define it and the extent to which they contribute to its most crucial feature, interoperability. The thesis then considers the REST approach to web services as being in a class of its own, concluding that this approach to interoperable distributed computing is not only the simplest but also the most interoperable. It looks briefly at interoperability issues raised by technologies in the wider arena of Service Oriented Architecture. The chapter on protocols is complemented by a chapter that validates the qualitative findings by examining web services in practice. These have been implemented by a variety of toolkits and on different platforms. Included in the study is a preliminary examination of JAX-WS, the replacement for JAX-RPC, which is still under development. Although the main language of implementation is Java, the study includes services in C# and PHP and one implementation of a client using a Firefox extension. The study concludes that different forms of web service may co-exist with earlier middleware technologies. While remaining aware that there are still pitfalls that might yet derail the movement towards greater interoperability, the conclusion sounds an optimistic note that recent cooperation between different vendors may yet result in a solution that achieves interoperability through core web-service standards.

Thesis (M.S.)--Kutztown University of Pennsylvania, 2000.
Source: Masters Abstracts International, Volume: 45-06, page: 3187. Typescript. Abstract precedes thesis as preliminary leaf. Includes bibliographical references (leaves 75-76).

Increasing speed of networks and worldwide availability has made the World Wide Web the most significant medium for information exchange. Web technologies have become more and more important as large and small businesses continue to make their presence on the web. Today's businesses have more than just a "face" on the worldwide web. The use of a web browser is no longer restricted to viewing static pages. Browsers are becoming more and more a standard interface to a multifaceted reign of programs that live on the worldwide web. Two main technologies stand out for the implementation of web applications, Sun Microsystems' Java 2 Enterprise Edition (J2EE) and Microsoft' Dot Net Framework. The purpose of this study is to provide an unbiased comparison of the two technologies based on performance and other software qualities.

Software as a service is an emerging but important aspect of the web. WebServices play a vital role in providing it. Web Services are commonly provided in one of two architectural styles: a "REpresentational State Transfer" (REST), or using the "Simple Object Access Protocol" (SOAP.) Originally most web content was text and small images. But more recent services involve complex data structures including text, images, audio, and video. The task of optimizing data to provide delivery of these structures is a complex one, involving both theoretical and practical aspects. In this thesis work, I have considered two architectures developed in the REST architectural style and tested them on mixes of data types (plain text, image, audio) being retrieved from a file system or database. The payload which carries the actual content of a data transmission process can either be in Extensible Markup Language (XML) or JavaScript Object Notation (JSON). Both of these language notations are widely used. The two architectures used in this thesis work are titled as Scenario 1 and Scenario 2. Scenario 1 proposes two different cases for storing, retrieving and presenting the data via a REST web service. We investigate the question of what is the best way to provide different data types (image, audio) via REST Web Service. Payload size for JSON and XML are compared. Scenario 2 proposes an enhanced and optimized architecture which is derived from the pros of the first two cases in Scenario 1. The proposed architecture is best suited for retrieving and serving non-homogeneous data as a service in a homogenous environment. This thesis is composed of theoretical and practical parts. The theory part contains the design and principles of REST architecture. The practical part has a Web Service provider and consumer model developed in Java. The practical part is developed using the Spring MVC framework and Apache CXF, which provides an implementation using JAX-RS, the Java API for RESTful services. A glossary of acronyms used in this thesis appears in the appendix on page 101.

The purpose of this project is to update the architecture and design of the California State University San Bernardino Graduate Advisor System. This system allows potential students into the Master of Science degree program in Computer Science to complete their application online.

This project "Designing Secure, Java Based Online Registration Systems to Meet Peak Load Performance Targets" is a simulation of a Web-based exposition management system plus a performance testing procedure to examine this web application.

The purpose of this project is to design, build and implement a web application system for the Olympiad delegation registration. All the pages and user registration information will be stored in a PostgreSQL database and retrieved by JAVA Servlet and JDBC (JAVA Database Connectivity). The main purpose of this project is to provide an easy-to-register and web-base communication evironment for the National Olympic Committes (NOC) and the Organizing Committee for the Olympic Games (OCOG).

Web-based problem solving environments provide sharing, execution and monitoring of scientific workflows. Where they depend on general purpose workflow development systems, the workflow notations are likely far too powerful and complex, especially in the area of biology, where programming skills are rare. On the other hand, application specific workflow systems may use special purpose languages and execution engines, suffering from a lack of standards, portability, documentation, stability of investment etc. In both cases, the need to support yet another application on the desk-top places a burden on the system administration of a research lab. In previous research the authors have developed the web based workflow systems Calvin and Hobbes, which enable biologists and computer scientists to approach these problems in collaboration. Both systems use a server-centric Web 2.0 based approach. Calvin is tailored to molecular biology applications, with a simple graphical workflow-language and easy access to existing BioMoby web services. Calvin workflows are compiled to industry standard BPEL workflows, which can be edited and refined in collaboration between researchers and computer scientists using the Hobbes tool. Together, Calvin and Hobbes form our workflow platform MoBiFlow, whose principles, design, and use cases are described in this paper.