File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Dependability auditing with model checking

TitleDependability auditing with model checking
Authors
KeywordsDependability auditing
E-processes
Electronic contracting
Model checking
Web services
Issue Date2005
Citation
Association for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale, 2005, v. 4, p. 1600-1609 How to Cite?
AbstractModel checking offers a methodology for determining whether a model satisfies a list of correctness requirements. We propose a theory of dependability auditing with model checking based on four principles: (1) The modeling process should be partitioned into computational components and behavioral components as an aid to system understanding; (2) The complex system will be abstracted to create a model; (3) A language must be available that can represent and evaluate states and processes that evolve over time; (4) Given an adequate model and temporal specifications, a model checker can verify whether or not the input model is a model of that specification: the specification will not fail in the model. We demonstrate this theoretical framework with Web Services and electronic contracting.
Persistent Identifierhttp://hdl.handle.net/10722/233814

 

DC FieldValueLanguage
dc.contributor.authorAnderson, Bonnie-
dc.contributor.authorHansen, James-
dc.contributor.authorLowry, Paul Benjamin-
dc.date.accessioned2016-09-27T07:21:43Z-
dc.date.available2016-09-27T07:21:43Z-
dc.date.issued2005-
dc.identifier.citationAssociation for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale, 2005, v. 4, p. 1600-1609-
dc.identifier.urihttp://hdl.handle.net/10722/233814-
dc.description.abstractModel checking offers a methodology for determining whether a model satisfies a list of correctness requirements. We propose a theory of dependability auditing with model checking based on four principles: (1) The modeling process should be partitioned into computational components and behavioral components as an aid to system understanding; (2) The complex system will be abstracted to create a model; (3) A language must be available that can represent and evaluate states and processes that evolve over time; (4) Given an adequate model and temporal specifications, a model checker can verify whether or not the input model is a model of that specification: the specification will not fail in the model. We demonstrate this theoretical framework with Web Services and electronic contracting.-
dc.languageeng-
dc.relation.ispartofAssociation for Information Systems - 11th Americas Conference on Information Systems, AMCIS 2005: A Conference on a Human Scale-
dc.subjectDependability auditing-
dc.subjectE-processes-
dc.subjectElectronic contracting-
dc.subjectModel checking-
dc.subjectWeb services-
dc.titleDependability auditing with model checking-
dc.typeConference_Paper-
dc.description.natureLink_to_subscribed_fulltext-
dc.identifier.scopuseid_2-s2.0-84869846700-
dc.identifier.volume4-
dc.identifier.spage1600-
dc.identifier.epage1609-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats