Top journal articles by Bonnie Anderson
Information Sciences, Jan 1, 2006
Electronic commerce can be defined as the conduct of commerce in goods and services, with the ass... more Electronic commerce can be defined as the conduct of commerce in goods and services, with the assistance of telecommunications and telecommunications-based tools. The economic growth potential of e-commerce is extraordinary - but so are the challenges that lie on the path toward success. One of the more pressing challenges is how to ensure the integrity and reliability of the transaction process: key aspects being fair-exchange and atomicity assurance.
This paper delineates an extended fair-exchange standard, which includes atomicity assurance, intended for a wide audience including e-commerce designers, managers, users, and auditors. We demonstrate how such a standard prevents or mitigates important e-commerce concerns. To bridge theory with practice, we illustrate how the application of model checking can be used to verify the correctness of the implementation of e-commerce protocols to prevent the failure of such protocols when unforeseen circumstances occur.
Bookmarks Related papers MentionsView impact
Expert Systems With Applications, Jan 1, 2009
The uncertainties of planning engendered by nondeterminism and partial observability have led to ... more The uncertainties of planning engendered by nondeterminism and partial observability have led to a melding of model checking and artificial intelligence. The result is planning by model checking. As planning by model checking checks sets of states and sets of transitions at once, rather than single states, the method remains robust and viable in domains of large state-spaces and varying levels of uncertainty. We develop a test bench for Semantic Web agents and use model-based planning to derive strong plans, strong cyclic plans, and weak plans. Our results suggest potential robustness and efficacy in devising plans for agent actions in the Semantic Web environment. (If you need the latest version of the paper, please send email request to Paul.Lowry.PhD@gmail.com and I will be happy to send it to you.)
Bookmarks Related papers MentionsView impact
Decision Support Systems, Jan 1, 2005
Use of the Internet for electronic business has the potential to revolutionize the way many busin... more Use of the Internet for electronic business has the potential to revolutionize the way many businesses are conducted. Yet, several businesses have fallen victim to problems in information systems that facilitate e-Business. These problems are characterized by uncertainties due to system complexity, rapid development, interconnectivity, and a lack of familiarity with the new technologically based economy. This paper demonstrates how model checking can aid in the design and assurance of e- Business processes in environments characterized by distributed processing, parallelism, concurrency, communication uncertainties, and continuous operations.
Bookmarks Related papers MentionsView impact
Communications of the Association for Computing Machinery, Jan 1, 2006
Bookmarks Related papers MentionsView impact
IEEE Transactions on Systems, Man, and Cybernetics: Part C-Applications and Reviews, Jan 1, 2005
Model checking is a promising technique for the verification of complex software systems. As the ... more Model checking is a promising technique for the verification of complex software systems. As the use of the Internet for conduct business (e-business) extends the reach of many businesses, well-designed software becomes the foundation of reliable implementation of e-business processes. These distributed, electronic methods of conducting transactions place important reliance on the control structures embedded in the transaction processes. Deficiencies in control structures of processes that support e-business can lead to loss of physical assets, digital assets, money, and consumer confidence. Yet, assessing the reliability of e-business processes is both complex and time consuming.
This paper explicates how model-checking technology can aid in the design and assurance of e-business processes in complex digital environments. Specifically, we demonstrate how model checking can be used to verify e-business requirements for money atomicity, goods atomicity, valid receipt, and communication link failures. These requirements are fundamental to many e-business applications.
Model checking can be used to test a broad range of systems requirements - not only for system designers, but also for auditors and security specialists. Systems that are examined by auditors need to have adequate controls built in prior to implementation and will need adequate auditing after implementation to ensure that none of the processes have been corrupted. Model checkers may also provide value in examining the processes of highly integrated applications as found in enterprise resource planning systems.
Bookmarks Related papers MentionsView impact
Papers by Bonnie Anderson
Journal of Systems and Software, 2002
... are post-hoc, which means that the users have to actually adopt and use a particular ... used... more ... are post-hoc, which means that the users have to actually adopt and use a particular ... used the same software, and to also ensure random selection and other statistical controls. ... may be biased for example, in supporting their decisions, rather than candidly evaluating products. ...
Bookmarks Related papers MentionsView impact
In parallel with advances in 3-D seismic technology, there have also been a number of giant steps... more In parallel with advances in 3-D seismic technology, there have also been a number of giant steps forward in non-seismic 3-D geophysical applications. Non-seismic methods, when recorded in conjunction with a 3-D seismic program, offer the benefit of an independently measured geophysical property which can be effectively used to verify, refine and constrain a 3-D velocity model and/or seismic interpretation.
Bookmarks Related papers MentionsView impact
2010 43rd Hawaii International Conference on System Sciences, 2010
Bookmarks Related papers MentionsView impact
SSRN Electronic Journal, 2000
Bookmarks Related papers MentionsView impact
SSRN Electronic Journal, 2000
Bookmarks Related papers MentionsView impact
Information Sciences, 2006
Electronic commerce can be defined as the conduct of commerce in goods and services, with the ass... more Electronic commerce can be defined as the conduct of commerce in goods and services, with the assistance of telecommunications and telecommunications-based tools. The economic growth potential of e-commerce is extraordinary—but so are the challenges that lie on the path toward success. One of the more pressing challenges is how to ensure the integrity and reliability of the transaction process: key aspects being fair-exchange and atomicity assurance. This paper delineates an extended fair-exchange standard, which ...
Bookmarks Related papers MentionsView impact
IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 2005
Abstract Model checking is a promising technique for the verification of complex software systems... more Abstract Model checking is a promising technique for the verification of complex software systems. As the use of the Internet for conducting e-business extends the reach of many organizations, well-designed software becomes the foundation of reliable implementation of e-business processes. These distributed, electronic methods of conducting transactions place reliance on the control structures embedded in the transaction processes. Deficiencies in control structures of processes that support e-business can lead to loss of physical ...
Bookmarks Related papers MentionsView impact
Expert Systems with Applications, 2009
Bookmarks Related papers MentionsView impact
Electronic Commerce Research, 2007
Bookmarks Related papers MentionsView impact
Decision Support Systems, 2005
Bookmarks Related papers MentionsView impact
Communications of the ACM, 2006
Bookmarks Related papers MentionsView impact
The American Historical Review, 1990
... A history of their own: Women in Europe from prehistory to the present. Post a Comment. CONTR... more ... A history of their own: Women in Europe from prehistory to the present. Post a Comment. CONTRIBUTORS: Author: Anderson, Bonnie S. Author: Zinsser, Judith P. PUBLISHER: Harper & Row (New York). SERIES TITLE: YEAR: 1988. PUB TYPE: Book (ISBN 0060158506 ). ...
Bookmarks Related papers MentionsView impact
Peer-reviewed conference papers by Bonnie Anderson
43rd Annual Hawaii International Conference on System Sciences (HICSS 2010), Kawai, Hawaii, USA, January 5–8, Jan 1, 2010
Bookmarks Related papers MentionsView impact
11th Annual Americas Conference on Information Systems, Omaha, August 11-14
Bookmarks Related papers MentionsView impact
Uploads
Top journal articles by Bonnie Anderson
This paper delineates an extended fair-exchange standard, which includes atomicity assurance, intended for a wide audience including e-commerce designers, managers, users, and auditors. We demonstrate how such a standard prevents or mitigates important e-commerce concerns. To bridge theory with practice, we illustrate how the application of model checking can be used to verify the correctness of the implementation of e-commerce protocols to prevent the failure of such protocols when unforeseen circumstances occur.
This paper explicates how model-checking technology can aid in the design and assurance of e-business processes in complex digital environments. Specifically, we demonstrate how model checking can be used to verify e-business requirements for money atomicity, goods atomicity, valid receipt, and communication link failures. These requirements are fundamental to many e-business applications.
Model checking can be used to test a broad range of systems requirements - not only for system designers, but also for auditors and security specialists. Systems that are examined by auditors need to have adequate controls built in prior to implementation and will need adequate auditing after implementation to ensure that none of the processes have been corrupted. Model checkers may also provide value in examining the processes of highly integrated applications as found in enterprise resource planning systems.
Papers by Bonnie Anderson
Peer-reviewed conference papers by Bonnie Anderson
This paper delineates an extended fair-exchange standard, which includes atomicity assurance, intended for a wide audience including e-commerce designers, managers, users, and auditors. We demonstrate how such a standard prevents or mitigates important e-commerce concerns. To bridge theory with practice, we illustrate how the application of model checking can be used to verify the correctness of the implementation of e-commerce protocols to prevent the failure of such protocols when unforeseen circumstances occur.
This paper explicates how model-checking technology can aid in the design and assurance of e-business processes in complex digital environments. Specifically, we demonstrate how model checking can be used to verify e-business requirements for money atomicity, goods atomicity, valid receipt, and communication link failures. These requirements are fundamental to many e-business applications.
Model checking can be used to test a broad range of systems requirements - not only for system designers, but also for auditors and security specialists. Systems that are examined by auditors need to have adequate controls built in prior to implementation and will need adequate auditing after implementation to ensure that none of the processes have been corrupted. Model checkers may also provide value in examining the processes of highly integrated applications as found in enterprise resource planning systems.