Mostrar el registro sencillo del ítem

Una perspectiva formal para modelar transacciones de comercio electrónico

dc.contributor.authorEhikioya, Sylvanus A.spa
dc.date.accessioned2020-10-27T00:21:34Z
dc.date.available2020-10-27T00:21:34Z
dc.date.issued2001-12-01
dc.identifier.issn2539-2115
dc.identifier.issn1657-2831
dc.identifier.urihttp://hdl.handle.net/20.500.12749/9070
dc.description.abstractMuchos modelos de aplicaciones de comercio electrónico utilizan enfoques informales y la intuición humana. aunque su modelo de datos subyacente es sólido. En consecuencia, la mayoría de los diseños contienen inconsistencias y algunos puntos frágiles ocultos que no se manifiestan hasta el se utilizan aplicaciones. Además, los enfoques de diseño informal dejan la determinación de la corrección de los diseños de sistemas a la intuición de los diseñadores. diseño informal Los enfoques no brindan el grado de corrección y confiabilidad requerido para las transacciones de comercio electrónico. Este documento formaliza los requisitos para las transacciones electrónicas utilizando Z. El especi - cación describe las restricciones relacionadas con la singularidad de los clientes, cuentas, productos, y tiendas, a la disponibilidad de productos, a la validez de los clientes y al mantenimiento de fondos suficientes. La especificación formal ha sido verificada mecánicamente utilizando Z/EVES y, por lo tanto, está bien formado en términos de sintaxis y tipos.spa
dc.format.mimetypeapplication/pdfspa
dc.language.isospaspa
dc.publisherUniversidad Autónoma de Bucaramanga UNAB
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1113/1084
dc.relation.urihttps://revistas.unab.edu.co/index.php/rcc/article/view/1113
dc.rightsDerechos de autor 2001 Revista Colombiana de Computación
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.sourceRevista Colombiana de Computación; Vol. 2 Núm. 2 (2001): Revista Colombiana de Computación; 1-20
dc.subjectInnovaciones tecnológicas
dc.subjectCiencia de los computadores
dc.subjectDesarrollo de tecnología
dc.subjectIngeniería de sistemas
dc.subjectInvestigaciones
dc.subjectTecnologías de la información y las comunicaciones
dc.subjectTIC´s
dc.titleUna perspectiva formal para modelar transacciones de comercio electrónicospa
dc.title.translatedA formal perspective to modelling electronic commerce transactionseng
dc.type.driverinfo:eu-repo/semantics/article
dc.type.localArtículospa
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1f
dc.subject.keywordsTechnological innovationseng
dc.subject.keywordsComputer scienceeng
dc.subject.keywordsTechnology developmenteng
dc.subject.keywordsSystems engineeringeng
dc.subject.keywordsInvestigationseng
dc.subject.keywordsInformation and communication technologieseng
dc.subject.keywordsICT'seng
dc.subject.keywordsFormal methodseng
dc.subject.keywordsE-commerceeng
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga UNABspa
dc.type.hasversionInfo:eu-repo/semantics/publishedVersion
dc.type.hasversioninfo:eu-repo/semantics/acceptedVersion
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.relation.referencesAbadi M., Birrel A., Stata R., and Wobber E., \Secure Web Tunneling", In Proc. of WWW7, 1997. (available at http://www7.scu.edu.au/programme/fullpapers/1859/com1859.htm)
dc.relation.referencesB. Aoun, \Agent Technology in Electronic Commerce and Information Retrieval on the Internet", In Proceedings of AUSWEB96, 1996. (Also available at: http://www.scu.edu.au/sponsored/ausweb/ ausweb96/tech/aoun/paper.html)
dc.relation.referencesM. Balabanovic, \Learning to Surf: Multiagent Systems for Adaptive Web Page Recommendation", Ph.D. Thesis, Department of Computer Science, Stanford University, Stanford, CA 94305-90250, March 1998.
dc.relation.referencesL. Baresi, A. Orso, and M. Pezze, \Introducing Formal Speci cation Methods in Industrial Practice", Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997, IEEE Computer Society, 1997. pp 56-66.
dc.relation.referencesS. Bennette, S. McRobb, and R. Farmer, Object-Oriented Systems Analysis and Design using UML, McGraw-Hill Publishing Company, 1999.
dc.relation.referencesD. Bustard, P. Kawalek, and M. Norris (Editors), Systems Modeling for Business Process Improvement, Artech House, May 2000.
dc.relation.referencesL. Constantine, \The Case for Essential Use Cases", Object Magazine, May 1997.
dc.relation.referencesS. A. Ehikioya, Speci cation of Transaction Systems Protocols, Ph.D Thesis, Department of Computer Science, The University of Manitoba, Winnipeg, MB, Canada, September 1997.
dc.relation.referencesS. A. Ehikioya, \An Agent-based System for Distributed Transactions: A Model for Internet - based Transactions". Proceedings of the IEEE Canadian Conference on Electrical and Computer Engineering, Edmonton, Alberta, Canada. 1999.
dc.relation.referencesS. A. Ehikioya, \A Formal Foundation for Electronic Commerce Transactions", International Symposium on Database Technology & Software Engineering, WEB and Cooperative Systems, Baden-Baden, Germany, August 1-4, 2000.
dc.relation.referencesS. A. Ehikioya, K. E. Barker, and E. A. Onibere, \Specifying Correctness in the Automation of Banking Operations". In Adagunodo E. R., Kehinde L. O., Akinde A. D., and Adigun M. O. (Editors), Computer-Based Automation in Developing Countries (Auto-DC '95). Lagos, Nigeria. COAN Conference Series, Volume #6, May 1995. Pages 103 - 115.
dc.relation.referencesS. A. Ehikioya and K. E. Barker, \A Formal Speci cation Strategy for Electronic Commerce", Proc. International Database Engineering and Application Symposium, Montreal, Canada, August 25-27, 1997, IEEE Computer Society, 1997.
dc.relation.referencesS. A. Ehikioya and K. E. Barker, \Towards a Formal Speci cation Methodology for Transaction Systems Protocols". 3rd Annual IASTED International Conference on Software Engineering and Applications (SEA'99), Scottsdale, Arizona, USA, October 6 - 8, 1999.
dc.relation.referencesS. A. Ehikioya and K. Hiebert, \A Formal Model of Electronic Commerce", First International Conference on Software Engineering, Networking, and Paral lel and Distributed Computing, Champagne-Ardenne, France, May 19-21, 2000.
dc.relation.referencesS. A. Ehikioya and K. Hiebert, \A Formal Speci cation of an On-line Transaction", First International Conference on Software Engineering, Networking, and Paral lel and Distributed Computing, Champagne-Ardenne, France, May 19-21, 2000.
dc.relation.referencesS. A. Ehikioya and S. Jayarama, \Electronic Commerce for Services and Intangible Goods". First International Conference on Internet Computing, Monte Carlo Resort, Las Vegas, Nevada, USA, June 26-29, 2000.
dc.relation.referencesGroup of Ten, \Electronic Money: Consumer Protection, Law Enforcement, Supervisory and Cross Border Issues", Bank for International Settlements, 1997.
dc.relation.referencesP. M. Hallam-Barker, \Electronic Payment Schemes", W3C, 1995. (Also available at: http://www.w3.org/pub/WWW/Payments /roadmap.html).
dc.relation.referencesP. M. Hallam-Barker, \Micro Payment Transfer Protocol (MPTP) Version 0.1", W3C, November 1995. (Also available at: http://www.w3.org/pub/WWW/TR/WDmptp.html).
dc.relation.referencesR. Inder, M. Hurst, and T. Kato, \A Prototype Agent to Assist Shoppers", In Proc. of WWW7, 1997. (available at http://www7.scu.edu.au/programme/posters/1856/com1856.htm)
dc.relation.referencesA. Moukas and G. Zacharia, \Evolving Multiagent Filtering Solution in Amalthaea", Proc. of the 1st International Conference on Autonomous Agents, pages 394-403, February 1997.
dc.relation.referencesM. Naor and B. Pinkas, \Secure Accounting and Auditing on the Web", In Proc. of WWW7, 1997. (available at http://www7.scu.edu.au/programme/fullpapers/1927/com1927.htm)
dc.relation.referencesD. O'Mahony, M. Peirce, and H. Tewari, Electronic Payment Systems, Artech House, 1997.
dc.relation.referencesW. Ra jput, E-Commerce Systems Architecture and Applications, Artech House, June 2000.
dc.relation.referencesB. Reich and I. Ben-Shaul \A Componentized Architecture for Dynamic Electronic Markets", SIGMOD Record | Special Issue on Electronic Commerce, Vol. 27 #4, December 1998.
dc.relation.referencesM. Reynolds, Beginning E-Commerce with Visual Basic, ASP, SQL Server 7.0 and MTS, Wrox, 2000.
dc.relation.referencesSpecial Issue on Electronic Commerce, SIGMOD Record, Vol. 27 #4, December 1998.
dc.relation.referencesJ. M. Spivey, Introducing Z: A Speci cation Language and its Semantics. Cambridge University Press, 1988.
dc.relation.referencesJ. M. Spivey, The Z Notation: A Reference Manual, 2nd Edition, Prentice Hall International Series in Computer Science, 1992.
dc.relation.referencesC. Standing, Internet Commerce Development, Artech House, 2000.
dc.relation.referencesJ. D. Tygar, \Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce", Proceedings of the 24th VLDB Conference, New York, USA, 1998.
dc.relation.referencesZ/EVES Version 2.0, ORA Canada, Ottawa, Ontario, K1Z 6X3, CANADA (Also available at http://www.ora.on.ca/z-eves /welcome.html). (Also associated with this is M. Saaltink and I. Meisels, The Z/EVES Reference Manual, ORA Canada, December 1995; Revised October 1999).
dc.contributor.googlescholarEhikioya, Sylvanus A. [0rC_Z_IAAAAJ]spa
dc.contributor.orcidEhikioya, Sylvanus A. [0000-0002-9743-2410]spa
dc.contributor.researchgateEhikioya, Sylvanus A. [Sylvanus-Ehikioya]spa
dc.subject.lembIngeniería de sistemasspa
dc.subject.lembTecnologías de la información y la comunicaciónspa
dc.subject.lembInvestigacionesspa
dc.subject.lembCiencias de la computaciónspa
dc.identifier.repourlrepourl:https://repository.unab.edu.co
dc.description.abstractenglishMany models of e-commerce applications use informal approaches and human intuition although their underlying data model is sound. Consequently, most of the designs contain inconsistencies and some hidden brittle spots that do not manifest until the applications are used. In addition, informal design approaches leave the determination of the correctness of system designs to the intuition of the designers. Informal design approaches do not provide the degree of correctness and reliability required for e- commerce transactions. This paper formalizes requirements for electronic transactions using Z. The speci - cation describes constraints relating to the uniqueness of customers, accounts, products, and stores, to the availability of products, to the validity of customers, and to maintaining su cient funds. The formal speci cation has been mechanically checked using Z/EVES and is therefore well-formed in terms of syntax and types.eng
dc.subject.proposalInnovaciones tecnológicasspa
dc.subject.proposalDesarrollo tecnológicospa
dc.subject.proposalMétodos formalesspa
dc.subject.proposalComercio electrónicospa
dc.type.redcolhttp://purl.org/redcol/resource_type/CJournalArticle
dc.rights.creativecommonsAttribution-NonCommercial-ShareAlike 4.0 International*


Ficheros en el ítem

Thumbnail
Nombre:
2001_Articulo_Una perspectiva ...
Tamaño:
561.8Kb
Formato:
PDF
Descripción:
Artículo
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Attribution-NonCommercial-ShareAlike 4.0 International
Excepto si se señala otra cosa, la licencia del ítem se describe como Attribution-NonCommercial-ShareAlike 4.0 International