Commands are an important part of large scale industrial software specifications, especially wher... more Commands are an important part of large scale industrial software specifications, especially where the specification is separated from its implementation as in open software standards. Commands can be complex because of large numbers of parameters, dependencies among parameters, subtle side effects, and lack of abstraction. We present a formal approach for command modeling and apply it to IBM's Distributed Data Management Architecture (DDM), a complex, large scale specification of data access on remote and heterogeneous IBM systems. Our approach consists of three parts: a declarative, executable command specification language, an incremental specification technique, and automated reasoning tools. The command specification language provides a formal interpretation of the structural (input-output) and behavioral properties (state constraints/change) of commands. To manage the details of complex commands with numerous inter-dependent arguments, a novel incremental specification tec...
Serious games have been used in education for decades. Playing increases motivation and engagemen... more Serious games have been used in education for decades. Playing increases motivation and engagement, fundamental components of the learning process. This paper presents the design and prototype implementation of an information technology strategy game called Emerge2Maturity. The game is about data warehouse development challenges. The game framework combines selection of a data warehouse architecture and assessment of related capabilities. We developed a prototype implementation using a storyboard concept and embedded Microsoft Excel sheet. Although data warehouse development is complex, the game is designed to capture important tradeoffs. The paper describes the details of the game design, show examples of the implementation and explain how the game is going to be evaluated.
We extend a similarity measure for medical event sequences (MESs) and evaluate its performance on... more We extend a similarity measure for medical event sequences (MESs) and evaluate its performance on mortality prediction using a substantial trauma data set. We extend the Optimal Temporal Common Subsequence for MESs (OTCS-MES) measure by generalizing the event-matching component with user-defined weights. In the empirical evaluation of classification performance, we provide a more complete evaluation than previous studies. We compare the predictive performance of the Trauma Mortality Prediction Model (TMPM), an accepted regression approach for mortality prediction in trauma data, to nearest neighbor algorithms using similarity measures for MESs. Using a data set from the National Trauma Data Bank, our results indicate improved predictive performance for an ensemble of nearest neighbor classifiers over TMPM. Our analysis demonstrates a superior Receiver Operating Characteristics (ROC) curve, larger AUC, and improved operating points on a ROC curve. Predictive performance improves for the ensemble for a variety of sensitivity weights and false positive constraints
... study have important implications for quantitative evaluation of IT service organizations, pa... more ... study have important implications for quantitative evaluation of IT service organizations, particularly ... evaluations of data warehouse success, and efficiency evaluations of information technology. ... discusses follow-up interviews with selected organizations about the impact of the ...
This paper proposes the macro model and micro model for the efficiency evaluation of data warehou... more This paper proposes the macro model and micro model for the efficiency evaluation of data warehouses (DWH), and introduces Fuzzy Data Envelopment Analysis (FDEA) and Data Envelopment Analysis (DEA) to comprehensively assess DWH efficiency. FDEA can determine the efficiencies of data warehouses with multiple input / output variables, and also resolve the problem that standard DEA cannot handle with imprecise input / output data. FDEA results present efficiency from different viewpoints: Best-Worst Scenario and Worst-Best Scenario. The final ranking results between FDEA and DEA are similar on the highest efficiency and the lowest efficiency of data warehouses. Compared with DEA, FDEA can distinguish the efficiency difference for some data warehouses.
Commands are an important part of large scale industrial software specifications, especially wher... more Commands are an important part of large scale industrial software specifications, especially where the specification is separated from its implementation as in open software standards. Commands can be complex because of large numbers of parameters, dependencies among parameters, subtle side effects, and lack of abstraction. We present a formal approach for command modeling and apply it to IBM's Distributed Data Management Architecture (DDM), a complex, large scale specification of data access on remote and heterogeneous IBM systems. Our approach consists of three parts: a declarative, executable command specification language, an incremental specification technique, and automated reasoning tools. The command specification language provides a formal interpretation of the structural (input-output) and behavioral properties (state constraints/change) of commands. To manage the details of complex commands with numerous inter-dependent arguments, a novel incremental specification tec...
Serious games have been used in education for decades. Playing increases motivation and engagemen... more Serious games have been used in education for decades. Playing increases motivation and engagement, fundamental components of the learning process. This paper presents the design and prototype implementation of an information technology strategy game called Emerge2Maturity. The game is about data warehouse development challenges. The game framework combines selection of a data warehouse architecture and assessment of related capabilities. We developed a prototype implementation using a storyboard concept and embedded Microsoft Excel sheet. Although data warehouse development is complex, the game is designed to capture important tradeoffs. The paper describes the details of the game design, show examples of the implementation and explain how the game is going to be evaluated.
We extend a similarity measure for medical event sequences (MESs) and evaluate its performance on... more We extend a similarity measure for medical event sequences (MESs) and evaluate its performance on mortality prediction using a substantial trauma data set. We extend the Optimal Temporal Common Subsequence for MESs (OTCS-MES) measure by generalizing the event-matching component with user-defined weights. In the empirical evaluation of classification performance, we provide a more complete evaluation than previous studies. We compare the predictive performance of the Trauma Mortality Prediction Model (TMPM), an accepted regression approach for mortality prediction in trauma data, to nearest neighbor algorithms using similarity measures for MESs. Using a data set from the National Trauma Data Bank, our results indicate improved predictive performance for an ensemble of nearest neighbor classifiers over TMPM. Our analysis demonstrates a superior Receiver Operating Characteristics (ROC) curve, larger AUC, and improved operating points on a ROC curve. Predictive performance improves for the ensemble for a variety of sensitivity weights and false positive constraints
... study have important implications for quantitative evaluation of IT service organizations, pa... more ... study have important implications for quantitative evaluation of IT service organizations, particularly ... evaluations of data warehouse success, and efficiency evaluations of information technology. ... discusses follow-up interviews with selected organizations about the impact of the ...
This paper proposes the macro model and micro model for the efficiency evaluation of data warehou... more This paper proposes the macro model and micro model for the efficiency evaluation of data warehouses (DWH), and introduces Fuzzy Data Envelopment Analysis (FDEA) and Data Envelopment Analysis (DEA) to comprehensively assess DWH efficiency. FDEA can determine the efficiencies of data warehouses with multiple input / output variables, and also resolve the problem that standard DEA cannot handle with imprecise input / output data. FDEA results present efficiency from different viewpoints: Best-Worst Scenario and Worst-Best Scenario. The final ranking results between FDEA and DEA are similar on the highest efficiency and the lowest efficiency of data warehouses. Compared with DEA, FDEA can distinguish the efficiency difference for some data warehouses.
Uploads
Papers by Michael Mannino