Academic literature on the topic 'BPEL (Computer program language)'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'BPEL (Computer program language).'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "BPEL (Computer program language)"
Ji, Shunhui, Liming Hu, Yihan Cao, Pengcheng Zhang, and Jerry Gao. "Verifiable Model Construction for Business Processes." International Journal of Software Engineering and Knowledge Engineering 31, no. 07 (2021): 1017–42. http://dx.doi.org/10.1142/s0218194021500315.
Full textSakka, Rouis Taoufik, Mohamed Tahar Bhiri, and Mourad Kmimech. "MAPPING SCDL/BPEL TO ADA FOR FORMAL VERIFICATION OF THE BEHAVIORAL PROPERTIES OF SERVICE-COMPONENT ARCHITECTURE." International Journal on Web Service Computing (IJWSC) 9, no. 1 (2018): 01–14. https://doi.org/10.5281/zenodo.3799616.
Full textWang, Yu Ying, and Ping Chen. "Test Case Generation of Web Service Composition: An Approach Based on the Color Petri Net." Applied Mechanics and Materials 336-338 (July 2013): 2063–70. http://dx.doi.org/10.4028/www.scientific.net/amm.336-338.2063.
Full textSellami, Wael, Hatem Hadj Kacem, and Ahmed Hadj Kacem. "A Formal Approach for the Validation of Web Service Orchestrations." International Journal of Web Portals 5, no. 1 (2013): 41–54. http://dx.doi.org/10.4018/jwp.2013010104.
Full textBoutrous Saab, C., D. Coulibaly, S. Haddad, T. Melliti, P. Moreaux, and S. Rampacek. "An Integrated Framework for Web Services Orchestration." International Journal of Web Services Research 6, no. 4 (2009): 1–29. http://dx.doi.org/10.4018/jwsr.2009071301.
Full textEmmerich, Wolfgang, Ben Butchart, Liang Chen, Bruno Wassermann, and Sarah L. Price. "Grid Service Orchestration Using the Business Process Execution Language (BPEL)." Journal of Grid Computing 3, no. 3-4 (2005): 283–304. http://dx.doi.org/10.1007/s10723-005-9015-3.
Full textCherif, Sihem, Raoudha Ben Ben Djemaa, and Ikram Amous. "A user-aware approach for describing and publishing context aware composite Web service." International Journal of Pervasive Computing and Communications 12, no. 2 (2016): 174–93. http://dx.doi.org/10.1108/ijpcc-01-2016-0011.
Full textChen, Ing-Yi, Guo-Kai Ni, Cheng-Hwa Kuo, and Chau-Young Lin. "A BPEL-Based Fault-Handling Architecture for Telecom Operation Support Systems." Journal of Advanced Computational Intelligence and Intelligent Informatics 14, no. 5 (2010): 523–30. http://dx.doi.org/10.20965/jaciii.2010.p0523.
Full textMei, Lijun, Yan Cai, Changjiang Jia, Bo Jiang, and W. K. Chan. "Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs." International Journal of Web Services Research 10, no. 1 (2013): 73–102. http://dx.doi.org/10.4018/jwsr.2013010104.
Full textLiu, Xuazhe, Mengwei Xu, Teng Teng, Gang Huang, and Hong Mei. "MUIT: A Domain-Specific Language and its Middleware for Adaptive Mobile Web-Based User Interfaces in WS-BPEL." IEEE Transactions on Services Computing 12, no. 6 (2019): 955–69. http://dx.doi.org/10.1109/tsc.2016.2633535.
Full textDissertations / Theses on the topic "BPEL (Computer program language)"
Stratton, David. "A program visualisation meta language." Thesis, University of Ballarat, 2003. http://researchonline.federation.edu.au/vital/access/HandleResolver/1959.17/63588.
Full textShepherd, David. "Natural language program analysis combining natural language processing with program analysis to improve software maintenance tools /." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 176 p, 2007. http://proquest.umi.com/pqdweb?did=1397920371&sid=6&Fmt=2&clientId=8331&RQT=309&VName=PQD.
Full textChou, Robert Shih-pei. "A program design language for COBOL." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/13200.
Full textRichardson, Joel E. "E a persistent systems implementation language /." Madison, Wis. : University of Wisconsin-Madison, Computer Sciences Dept, 1989. http://catalog.hathitrust.org/api/volumes/oclc/20839601.html.
Full textGordon, Christopher Todd. "A visual language for ADA program unit specifications." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-06232009-063007/.
Full textMartin, Walter E. "Cview, a graphical program generator for the C programming language /." Online version of thesis, 1988. http://hdl.handle.net/1850/10224.
Full textLeoutsarakos, Nikolaos. "A context sensitive command language /." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63274.
Full textYessenov, Kuat T. "A lightweight specification language for bounded program verification." Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/53184.
Full textGibson, Barbara Brunner. "Ada as a design specification language /." Online version of thesis, 1988. http://hdl.handle.net/1850/10215.
Full textOuren, Leslie Serine. "Integrating computer software within the Houghton Mifflin Language Arts program." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2918.
Full textBooks on the topic "BPEL (Computer program language)"
Reisig, Wolfgang. Verteilte Geschäftsprozesse modellieren und analysieren. Humboldt-Universität, Publikationsstelle, 2005.
Find full textReisig, Wolfgang. Verteilte Geschäftsprozesse modellieren und analysieren. Humboldt-Universität, Publikationsstelle, 2005.
Find full textFrank, Jennings, and ebrary Inc, eds. Building SOA-based composite applications using NetBeans IDE 6: Design, build, test, and debug service-oriented applications with ease using XML, BPEL, and Java web services. Packt, 2008.
Find full textInc, Apple Computer, ed. HyperCard script language guide: The HyperTalk language. Addison-Wesley, 1988.
Find full text1945-, Deitel Harvey M., and Deitel Harvey M. 1945-, eds. C++: How to program. 7th ed. Pearson Prentice Hall, 2010.
Find full text1945-, Deitel Harvey M., ed. C: How to program. 6th ed. Pearson Prentice Hall, 2010.
Find full textCompany, Addison-Wesley Publishing, ed. HyperCard IIgs script language guide: The HyperTalk language. Addison-Wesley Pub. Co., 1991.
Find full textBook chapters on the topic "BPEL (Computer program language)"
Weik, Martin H. "language program." In Computer Science and Communications Dictionary. Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_9931.
Full textWeik, Martin H. "program design language." In Computer Science and Communications Dictionary. Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_14835.
Full textCraven, Paul Vincent. "What Is a Computer Language?" In Program Arcade Games. Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-1790-0_3.
Full textVolpano, Dennis, and Geoffrey Smith. "Language Issues in Mobile Program Security." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-68671-1_3.
Full textLi, Yixuan, Julian Parsert, and Elizabeth Polgreen. "Guiding Enumerative Program Synthesis with Large Language Models." In Computer Aided Verification. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65630-9_15.
Full textHarf, Mait, Kristiina Kindel, Vahur Kotkas, Peep Küngas, and Enn Tyugu. "Automated Program Synthesis for Java Programming Language." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45575-2_17.
Full textWen, Cheng, Jialun Cao, Jie Su, et al. "Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification." In Computer Aided Verification. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65630-9_16.
Full textLeidner, Jochen L., and Michael Reiche. "Language-Model Assisted Learning How to Program?" In Communications in Computer and Information Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-50485-3_41.
Full textAnqi, Xing, and Zheng Yanqun. "International Chinese Language Education Online Teacher Training Program and Practice." In Computer Science and Education. Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-2446-2_25.
Full textDeng, Liangjun, Qi Zhong, Hang Lei, Yao Qiu, and Jingxue Chen. "GPT-Based Wasm Instruction Analysis for Program Language Processing." In Communications in Computer and Information Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-80419-9_9.
Full textConference papers on the topic "BPEL (Computer program language)"
Khan, Zaid, Vijay Kumar BG, Samuel Schulter, Yun Fu, and Manmohan Chandraker. "Self-Training Large Language Models for Improved Visual Program Synthesis With Visual Reinforcement." In 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, 2024. http://dx.doi.org/10.1109/cvpr52733.2024.01360.
Full textLi, Yalong, and Junxia Guo. "Research on Program Automatic Repair Method Combining Context Optimization Strategy and Large Language Models." In 2024 4th International Symposium on Computer Technology and Information Science (ISCTIS). IEEE, 2024. http://dx.doi.org/10.1109/isctis63324.2024.10698980.
Full textYang, Xiaoli, Rong Ge, and Charles Tseng. "Visualizing genetic recombination with interactive computer program." In 2010 International Conference on Audio, Language and Image Processing (ICALIP). IEEE, 2010. http://dx.doi.org/10.1109/icalip.2010.5685128.
Full textKim, Sung-Hun, Jin-Tak Choi, and Kil-Hong Joo. "Development of Cyber Sign Language Interpreting App Program for Deaf." In Next Generation Computer and Information Technology 2017. Science & Engineering Research Support soCiety, 2017. http://dx.doi.org/10.14257/astl.2017.145.03.
Full textLing, Xiang, Guoqing Wu, and Bo Huang. "Comparing program to requirement and design using language acceptance." In 2012 2nd International Conference on Computer Science and Network Technology (ICCSNT). IEEE, 2012. http://dx.doi.org/10.1109/iccsnt.2012.6525961.
Full textQin, Yi, and Guonian Wang. "A computer-aided Chinese pronunciation training program for English-speaking learners." In 2014 International Conference on Asian Language Processing (IALP). IEEE, 2014. http://dx.doi.org/10.1109/ialp.2014.6973499.
Full textMenotti, Ricardo, Joao M. P. Cardoso, Marcio M. Fernandes, and Eduardo Marques. "LALP: A Novel Language to Program Custom FPGA-Based Architectures." In 2009 21st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). IEEE, 2009. http://dx.doi.org/10.1109/sbac-pad.2009.23.
Full textQin, Weida, Yinhu Wei, and Ricai Luo. "Program Design and Implementation of Y Class Matrix Eigenvalue Based on Python Language." In 2022 Asia-Pacific Computer Technologies Conference (APCT). IEEE, 2022. http://dx.doi.org/10.1109/apct55107.2022.00022.
Full textDovhopolova, Hanna. "COMPUTER PROGRAM AS A METHOD OF DEVELOPING STUDENTS’ FOREIGN LANGUAGE COMMUNICATION SKILLS." In THEORETICAL AND EMPIRICAL SCIENTIFIC RESEARCH: CONCEPT AND TRENDS. European Scientific Platform, 2020. http://dx.doi.org/10.36074/24.07.2020.v3.02.
Full textJin, Yuqiang, Yuliang Chen, Zijian Lin, and Junwei Lei. "Research on PID control and Simulation with M Language of Matlab Program." In 2nd International Conference on Electronics, Network and Computer Engineering (ICENCE 2016). Atlantis Press, 2016. http://dx.doi.org/10.2991/icence-16.2016.98.
Full textReports on the topic "BPEL (Computer program language)"
Ponce, Juan, Mercedes Onofa, and Paul E. Carrillo. Information Technology and Student Achievement: Evidence from a Randomized Experiment in Ecuador. Inter-American Development Bank, 2010. http://dx.doi.org/10.18235/0011199.
Full textMakhachashvili, Rusudan K., Svetlana I. Kovpik, Anna O. Bakhtina, and Ekaterina O. Shmeltser. Technology of presentation of literature on the Emoji Maker platform: pedagogical function of graphic mimesis. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/3864.
Full textStriuk, Andrii M., and Serhiy O. Semerikov. The Dawn of Software Engineering Education. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/3671.
Full textMarkova, Oksana, Serhiy Semerikov та Maiia Popel. СoCalc as a Learning Tool for Neural Network Simulation in the Special Course “Foundations of Mathematic Informatics”. Sun SITE Central Europe, 2018. http://dx.doi.org/10.31812/0564/2250.
Full text