Una perspectiva formal para modelar transacciones de comercio electrónico

Muchos 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...

Full description

Autores:
Ehikioya, Sylvanus A.
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2001
Institución:
Universidad Autónoma de Bucaramanga - UNAB
Repositorio:
Repositorio UNAB
Idioma:
spa
OAI Identifier:
oai:repository.unab.edu.co:20.500.12749/9070
Acceso en línea:
http://hdl.handle.net/20.500.12749/9070
Palabra clave:
Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Formal methods
E-commerce
Ingeniería de sistemas
Tecnologías de la información y la comunicación
Investigaciones
Ciencias de la computación
Innovaciones tecnológicas
Desarrollo tecnológico
Métodos formales
Comercio electrónico
Rights
License
Derechos de autor 2001 Revista Colombiana de Computación
id UNAB2_b3541f28f57f942ad439b9314b10a52a
oai_identifier_str oai:repository.unab.edu.co:20.500.12749/9070
network_acronym_str UNAB2
network_name_str Repositorio UNAB
repository_id_str
dc.title.spa.fl_str_mv Una perspectiva formal para modelar transacciones de comercio electrónico
dc.title.translated.eng.fl_str_mv A formal perspective to modelling electronic commerce transactions
title Una perspectiva formal para modelar transacciones de comercio electrónico
spellingShingle Una perspectiva formal para modelar transacciones de comercio electrónico
Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Formal methods
E-commerce
Ingeniería de sistemas
Tecnologías de la información y la comunicación
Investigaciones
Ciencias de la computación
Innovaciones tecnológicas
Desarrollo tecnológico
Métodos formales
Comercio electrónico
title_short Una perspectiva formal para modelar transacciones de comercio electrónico
title_full Una perspectiva formal para modelar transacciones de comercio electrónico
title_fullStr Una perspectiva formal para modelar transacciones de comercio electrónico
title_full_unstemmed Una perspectiva formal para modelar transacciones de comercio electrónico
title_sort Una perspectiva formal para modelar transacciones de comercio electrónico
dc.creator.fl_str_mv Ehikioya, Sylvanus A.
dc.contributor.author.spa.fl_str_mv Ehikioya, Sylvanus A.
dc.contributor.googlescholar.spa.fl_str_mv Ehikioya, Sylvanus A. [0rC_Z_IAAAAJ]
dc.contributor.orcid.spa.fl_str_mv Ehikioya, Sylvanus A. [0000-0002-9743-2410]
dc.contributor.researchgate.spa.fl_str_mv Ehikioya, Sylvanus A. [Sylvanus-Ehikioya]
dc.subject.none.fl_str_mv Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
topic Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Formal methods
E-commerce
Ingeniería de sistemas
Tecnologías de la información y la comunicación
Investigaciones
Ciencias de la computación
Innovaciones tecnológicas
Desarrollo tecnológico
Métodos formales
Comercio electrónico
dc.subject.keywords.eng.fl_str_mv Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Formal methods
E-commerce
dc.subject.lemb.spa.fl_str_mv Ingeniería de sistemas
Tecnologías de la información y la comunicación
Investigaciones
Ciencias de la computación
dc.subject.proposal.spa.fl_str_mv Innovaciones tecnológicas
Desarrollo tecnológico
Métodos formales
Comercio electrónico
description Muchos 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.
publishDate 2001
dc.date.issued.none.fl_str_mv 2001-12-01
dc.date.accessioned.none.fl_str_mv 2020-10-27T00:21:34Z
dc.date.available.none.fl_str_mv 2020-10-27T00:21:34Z
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.driver.none.fl_str_mv info:eu-repo/semantics/article
dc.type.local.spa.fl_str_mv Artículo
dc.type.coar.none.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
dc.type.redcol.none.fl_str_mv http://purl.org/redcol/resource_type/CJournalArticle
format http://purl.org/coar/resource_type/c_7a1f
dc.identifier.issn.none.fl_str_mv 2539-2115
1657-2831
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/20.500.12749/9070
dc.identifier.instname.spa.fl_str_mv instname:Universidad Autónoma de Bucaramanga UNAB
dc.identifier.repourl.none.fl_str_mv repourl:https://repository.unab.edu.co
identifier_str_mv 2539-2115
1657-2831
instname:Universidad Autónoma de Bucaramanga UNAB
repourl:https://repository.unab.edu.co
url http://hdl.handle.net/20.500.12749/9070
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv https://revistas.unab.edu.co/index.php/rcc/article/view/1113/1084
dc.relation.uri.none.fl_str_mv https://revistas.unab.edu.co/index.php/rcc/article/view/1113
dc.relation.references.none.fl_str_mv Abadi 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)
B. 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)
M. 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.
L. 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.
S. Bennette, S. McRobb, and R. Farmer, Object-Oriented Systems Analysis and Design using UML, McGraw-Hill Publishing Company, 1999.
D. Bustard, P. Kawalek, and M. Norris (Editors), Systems Modeling for Business Process Improvement, Artech House, May 2000.
L. Constantine, \The Case for Essential Use Cases", Object Magazine, May 1997.
S. A. Ehikioya, Speci cation of Transaction Systems Protocols, Ph.D Thesis, Department of Computer Science, The University of Manitoba, Winnipeg, MB, Canada, September 1997.
S. 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.
S. 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.
S. 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.
S. 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.
S. 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.
S. 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.
S. 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.
S. 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.
Group of Ten, \Electronic Money: Consumer Protection, Law Enforcement, Supervisory and Cross Border Issues", Bank for International Settlements, 1997.
P. M. Hallam-Barker, \Electronic Payment Schemes", W3C, 1995. (Also available at: http://www.w3.org/pub/WWW/Payments /roadmap.html).
P. 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).
R. 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)
A. Moukas and G. Zacharia, \Evolving Multiagent Filtering Solution in Amalthaea", Proc. of the 1st International Conference on Autonomous Agents, pages 394-403, February 1997.
M. 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)
D. O'Mahony, M. Peirce, and H. Tewari, Electronic Payment Systems, Artech House, 1997.
W. Ra jput, E-Commerce Systems Architecture and Applications, Artech House, June 2000.
B. Reich and I. Ben-Shaul \A Componentized Architecture for Dynamic Electronic Markets", SIGMOD Record | Special Issue on Electronic Commerce, Vol. 27 #4, December 1998.
M. Reynolds, Beginning E-Commerce with Visual Basic, ASP, SQL Server 7.0 and MTS, Wrox, 2000.
Special Issue on Electronic Commerce, SIGMOD Record, Vol. 27 #4, December 1998.
J. M. Spivey, Introducing Z: A Speci cation Language and its Semantics. Cambridge University Press, 1988.
J. M. Spivey, The Z Notation: A Reference Manual, 2nd Edition, Prentice Hall International Series in Computer Science, 1992.
C. Standing, Internet Commerce Development, Artech House, 2000.
J. D. Tygar, \Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce", Proceedings of the 24th VLDB Conference, New York, USA, 1998.
Z/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.rights.none.fl_str_mv Derechos de autor 2001 Revista Colombiana de Computación
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.uri.none.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.rights.creativecommons.*.fl_str_mv Attribution-NonCommercial-ShareAlike 4.0 International
rights_invalid_str_mv Derechos de autor 2001 Revista Colombiana de Computación
http://creativecommons.org/licenses/by-nc-sa/4.0/
http://creativecommons.org/licenses/by-nc-nd/2.5/co/
Attribution-NonCommercial-ShareAlike 4.0 International
http://purl.org/coar/access_right/c_abf2
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Autónoma de Bucaramanga UNAB
publisher.none.fl_str_mv Universidad Autónoma de Bucaramanga UNAB
dc.source.none.fl_str_mv Revista Colombiana de Computación; Vol. 2 Núm. 2 (2001): Revista Colombiana de Computación; 1-20
institution Universidad Autónoma de Bucaramanga - UNAB
bitstream.url.fl_str_mv https://repository.unab.edu.co/bitstream/20.500.12749/9070/1/2001_Articulo_Una%20perspectiva%20formal%20para%20modelar%20transacciones%20de%20comercio%20electronico.pdf
https://repository.unab.edu.co/bitstream/20.500.12749/9070/2/2001_Articulo_Una%20perspectiva%20formal%20para%20modelar%20transacciones%20de%20comercio%20electronico.pdf.jpg
bitstream.checksum.fl_str_mv 643fd2d1115c8878f24af620bc5d3662
074661dab75c2c35aa4eac90f0abe905
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional | Universidad Autónoma de Bucaramanga - UNAB
repository.mail.fl_str_mv repositorio@unab.edu.co
_version_ 1814277391314321408
spelling Ehikioya, Sylvanus A.c27965ba-cfff-4bb1-aa03-8eda7bd35b20-1Ehikioya, Sylvanus A. [0rC_Z_IAAAAJ]Ehikioya, Sylvanus A. [0000-0002-9743-2410]Ehikioya, Sylvanus A. [Sylvanus-Ehikioya]2020-10-27T00:21:34Z2020-10-27T00:21:34Z2001-12-012539-21151657-2831http://hdl.handle.net/20.500.12749/9070instname:Universidad Autónoma de Bucaramanga UNABrepourl:https://repository.unab.edu.coMuchos 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.Many 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.application/pdfspaUniversidad Autónoma de Bucaramanga UNABhttps://revistas.unab.edu.co/index.php/rcc/article/view/1113/1084https://revistas.unab.edu.co/index.php/rcc/article/view/1113Abadi 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)B. 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)M. 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.L. 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.S. Bennette, S. McRobb, and R. Farmer, Object-Oriented Systems Analysis and Design using UML, McGraw-Hill Publishing Company, 1999.D. Bustard, P. Kawalek, and M. Norris (Editors), Systems Modeling for Business Process Improvement, Artech House, May 2000.L. Constantine, \The Case for Essential Use Cases", Object Magazine, May 1997.S. A. Ehikioya, Speci cation of Transaction Systems Protocols, Ph.D Thesis, Department of Computer Science, The University of Manitoba, Winnipeg, MB, Canada, September 1997.S. 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.S. 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.S. 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.S. 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.S. 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.S. 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.S. 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.S. 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.Group of Ten, \Electronic Money: Consumer Protection, Law Enforcement, Supervisory and Cross Border Issues", Bank for International Settlements, 1997.P. M. Hallam-Barker, \Electronic Payment Schemes", W3C, 1995. (Also available at: http://www.w3.org/pub/WWW/Payments /roadmap.html).P. 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).R. 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)A. Moukas and G. Zacharia, \Evolving Multiagent Filtering Solution in Amalthaea", Proc. of the 1st International Conference on Autonomous Agents, pages 394-403, February 1997.M. 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)D. O'Mahony, M. Peirce, and H. Tewari, Electronic Payment Systems, Artech House, 1997.W. Ra jput, E-Commerce Systems Architecture and Applications, Artech House, June 2000.B. Reich and I. Ben-Shaul \A Componentized Architecture for Dynamic Electronic Markets", SIGMOD Record | Special Issue on Electronic Commerce, Vol. 27 #4, December 1998.M. Reynolds, Beginning E-Commerce with Visual Basic, ASP, SQL Server 7.0 and MTS, Wrox, 2000.Special Issue on Electronic Commerce, SIGMOD Record, Vol. 27 #4, December 1998.J. M. Spivey, Introducing Z: A Speci cation Language and its Semantics. Cambridge University Press, 1988.J. M. Spivey, The Z Notation: A Reference Manual, 2nd Edition, Prentice Hall International Series in Computer Science, 1992.C. Standing, Internet Commerce Development, Artech House, 2000.J. D. Tygar, \Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce", Proceedings of the 24th VLDB Conference, New York, USA, 1998.Z/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).Derechos de autor 2001 Revista Colombiana de Computaciónhttp://creativecommons.org/licenses/by-nc-sa/4.0/http://creativecommons.org/licenses/by-nc-nd/2.5/co/Attribution-NonCommercial-ShareAlike 4.0 Internationalhttp://purl.org/coar/access_right/c_abf2Revista Colombiana de Computación; Vol. 2 Núm. 2 (2001): Revista Colombiana de Computación; 1-20Innovaciones tecnológicasCiencia de los computadoresDesarrollo de tecnologíaIngeniería de sistemasInvestigacionesTecnologías de la información y las comunicacionesTIC´sTechnological innovationsComputer scienceTechnology developmentSystems engineeringInvestigationsInformation and communication technologiesICT'sFormal methodsE-commerceIngeniería de sistemasTecnologías de la información y la comunicaciónInvestigacionesCiencias de la computaciónInnovaciones tecnológicasDesarrollo tecnológicoMétodos formalesComercio electrónicoUna perspectiva formal para modelar transacciones de comercio electrónicoA formal perspective to modelling electronic commerce transactionsinfo:eu-repo/semantics/articleArtículohttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/redcol/resource_type/CJournalArticlehttp://purl.org/coar/version/c_970fb48d4fbd8a85ORIGINAL2001_Articulo_Una perspectiva formal para modelar transacciones de comercio electronico.pdf2001_Articulo_Una perspectiva formal para modelar transacciones de comercio electronico.pdfArtículoapplication/pdf575381https://repository.unab.edu.co/bitstream/20.500.12749/9070/1/2001_Articulo_Una%20perspectiva%20formal%20para%20modelar%20transacciones%20de%20comercio%20electronico.pdf643fd2d1115c8878f24af620bc5d3662MD51open accessTHUMBNAIL2001_Articulo_Una perspectiva formal para modelar transacciones de comercio electronico.pdf.jpg2001_Articulo_Una perspectiva formal para modelar transacciones de comercio electronico.pdf.jpgIM Thumbnailimage/jpeg7754https://repository.unab.edu.co/bitstream/20.500.12749/9070/2/2001_Articulo_Una%20perspectiva%20formal%20para%20modelar%20transacciones%20de%20comercio%20electronico.pdf.jpg074661dab75c2c35aa4eac90f0abe905MD52open access20.500.12749/9070oai:repository.unab.edu.co:20.500.12749/90702024-04-15 16:28:12.209open accessRepositorio Institucional | Universidad Autónoma de Bucaramanga - UNABrepositorio@unab.edu.co

Publicaciones similares