Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Selected Works

PDF

Software Engineering

Keyword
Publication Year
Publication

Articles 241 - 261 of 261

Full-Text Articles in Physical Sciences and Mathematics

The Translation Of Some Metaphorical Expressions In Shakespeare's Hamlet, Philadelphia University Dec 2006

The Translation Of Some Metaphorical Expressions In Shakespeare's Hamlet, Philadelphia University

Philadelphia University, Jordan

No abstract provided.


Creating Custom Containers With Generative Techniques, Gabriel A. Moreno Sep 2006

Creating Custom Containers With Generative Techniques, Gabriel A. Moreno

Gabriel A. Moreno

Component containers are a key part of mainstream component technologies, and play an important role in separating nonfunctional concerns from the core component logic. This paper addresses two different aspects of containers. First, it shows how generative programming techniques, using AspectC++ and metaprogramming, can be used to generate stubs and skeletons without the need for special compilers or interface description languages. Second, the paper describes an approach to create custom containers by composing different non-functional features. Unlike component technologies such as EJB, which only support a predefined set of container types, this approach allows different combinations of non-functional features to …


An Open Framework Supporting Multimedia Web Services, Jia Zhang, Jen-Yao Chung Jul 2006

An Open Framework Supporting Multimedia Web Services, Jia Zhang, Jen-Yao Chung

Jia Zhang

No abstract provided.


Service Grid For Business Computing, Zongwei Luo, Jia Zhang, Rosa Badia Dec 2005

Service Grid For Business Computing, Zongwei Luo, Jia Zhang, Rosa Badia

Jia Zhang

In this chapter, we will introduce an advanced topic of grid computing – Web services-oriented grid for business computing. Web services represent a new concept of computing that enables diverse and distributed resources to communicate with each other based upon a set of standards. We will discuss what values the marriage of Web services and grid computing can bring to business computing and the current state of the art of the field. The layout of the chapter is as follows: Grid computing overview; Web services orientation; Service oriented grid; Integrated service platform for integration; and Challenges and considerations.


Privacy Issues Of Applying Rfid In Retail Industry, Haifei Li, Patrick C.K. Hung, Jia Zhang, David Ahn Dec 2005

Privacy Issues Of Applying Rfid In Retail Industry, Haifei Li, Patrick C.K. Hung, Jia Zhang, David Ahn

Jia Zhang

This case study describes the privacy issues of applying Radio Frequency Identification (RFID) in the retail industry. With the dramatic price drop of RFID tags, it is possible that RFID be applied to individual items sold by a retailer. However, the RFID technology poses critical privacy challenges. In this study, we analyze the potential privacy issue of RFID utilization, and we propose a privacy authorization model aiming for precisely defining RFID privacy policies for the retail industry.


Auction-Based Pricing Model For Web Service Providers, Jia Zhang, Ning Zhang, Liang-Jie Zhang Dec 2005

Auction-Based Pricing Model For Web Service Providers, Jia Zhang, Ning Zhang, Liang-Jie Zhang

Jia Zhang

Applying auctions to Web services selection and invocation calls for examination due to the unique features of Web services, such as interoperable machine-to-machine interactions and reenterable bargaining services. In this paper we propose a formal model for Web services-based auctions. Examining one-sided sealed auction type, we prove mathematically that service requestors’ risk preferences could lead to different pricing strategies for service providers towards higher profit. We argue that Service Level Agreement (SLA) documents can be used to analyze service requestors’ preferences. On top of WS-Agreement, we propose a basic service requestor risk preference elicitation algorithm, as well as a historical …


A Mobile Agents-Based Approach To Test The Reliability Of Web Services, Jia Zhang Dec 2005

A Mobile Agents-Based Approach To Test The Reliability Of Web Services, Jia Zhang

Jia Zhang

The paradigm of web services has been transforming the internet from a repository of data into a repository of services, or so-called web services. As more and more web services are published on the internet, how to opt for an appropriate and trustworthy web service poses a big challenge. In this paper we propose a mobile agents-based approach that selects reliable web service components in a cost-effective manner.


Survey Of Computer Supported Business Collaboration In Support Of Business Processes, Carl K. Chang, Jia Zhang, Kai H. Chang Dec 2005

Survey Of Computer Supported Business Collaboration In Support Of Business Processes, Carl K. Chang, Jia Zhang, Kai H. Chang

Jia Zhang

No abstract provided.


Using Containers To Enforce Smart Constraints For Performance In Industrial Systems, Scott A. Hissam, Gabriel A. Moreno, Kurt C. Wallnau Jul 2005

Using Containers To Enforce Smart Constraints For Performance In Industrial Systems, Scott A. Hissam, Gabriel A. Moreno, Kurt C. Wallnau

Gabriel A. Moreno

Today, software engineering is concerned less with individual programs than with large-scale networks of interacting programs. For large-scale networks, engineering problems emerge that go well beyond functional correctness (the purview of programming) and encompass equally crucial nonfunctional qualities such as security, performance, availability, and fault tolerance. A pivotal challenge, then, is to provide techniques to routinely construct systems that have predictable nonfunctional quality. These techniques impose constraints on the problem being solved and on the form solutions can take. This technical note shows how smart constraints can be embedded in software infrastructure, so that systems conforming to those constraints are …


Criteria Analysis And Validation Of The Reliability Of Web Services-Oriented Systems,, Jia Zhang, Liang-Jie Zhang Jun 2005

Criteria Analysis And Validation Of The Reliability Of Web Services-Oriented Systems,, Jia Zhang, Liang-Jie Zhang

Jia Zhang

No abstract provided.


A Service-Oriented Multimedia Componentization Model, Jia Zhang, Liang-Jie Zhang, Francis Quek, Jen-Yao Chung Feb 2005

A Service-Oriented Multimedia Componentization Model, Jia Zhang, Liang-Jie Zhang, Francis Quek, Jen-Yao Chung

Jia Zhang

As Web services become more and more popular, how to manage multimedia Web services that can be composed as value-added service solutions remains challenging. This paper presents a service-oriented multimedia componentization model to support Quality of Service (QoS)-centered, device-independent multimedia Web services, which seamlessly incorporates cuttingedge technologies relating to Web services. A multimedia Web service is divided into control flow and data flow, each can be delivered via different infrastructures and channels. Enhancements are proposed to facilitate Simple Object Access Protocol (SOAP) and Composite Capability/Preference Profiles (CC/PP) protocols to improve their flexibility to serve multimedia Web services. We present a …


Trustworthy Web Services: Actions For Now, Jia Zhang Jan 2005

Trustworthy Web Services: Actions For Now, Jia Zhang

Jia Zhang

For Web services to grow as predicted, researchers must not wait to address the challenges of software trustworthiness


Performance Property Theories For Predictable Assembly From Certifiable Components (Pacc), Scott A. Hissam, Mark H. Klein, John Lehoczky, Paulo Merson, Gabriel A. Moreno, Kurt C. Wallnau Aug 2004

Performance Property Theories For Predictable Assembly From Certifiable Components (Pacc), Scott A. Hissam, Mark H. Klein, John Lehoczky, Paulo Merson, Gabriel A. Moreno, Kurt C. Wallnau

Gabriel A. Moreno

This report develops a queueing-theoretic solution to predict, for a real-time system, the average-case latency of aperiodic tasks managed by a sporadic server. The report applies this theory to a model problem drawn in the domain of industrial robot control. In this model problem, a controller with hard periodic deadlines is “open” to third-party plug-in extensions. The sporadic server is used to limit the invasiveness of aperiodic tasks on the controller’s hard deadlines. The theory developed in this report is used to predict the average- case latency of a plug-in managed by a sporadic server.


Enabling Predictable Assembly, Scott A. Hissam, Gabriel A. Moreno, Judith Stafford, Kurt C. Wallnau Feb 2003

Enabling Predictable Assembly, Scott A. Hissam, Gabriel A. Moreno, Judith Stafford, Kurt C. Wallnau

Gabriel A. Moreno

Demands for increased functionality, better quality, and faster time-to-market in software products continue to increase. Component-based development is the software industry’s response to these demands. The industry has developed technologies such as EJB and CORBA to assemble components that are created in isolation. Component technologies available today allow designers to plug components together, but do little to allow the developer to reason about how well they will play together. Predictable assembly focuses on issues related to assembling component-based systems that predictably meet their quality attribute requirements. This paper introduces prediction-enabled component technology (PECT) as a means of packaging predictable assembly …


Predictable Assembly Of Substation Automation Systems: An Experiment Report, Scott A. Hissam, John Hudak, James Ivers, Mark H. Klein, Magnus Larsson, Gabriel A. Moreno, Linda M. Northrop, Daniel Plakosh, Judith Stafford, Kurt C. Wallnau, William G. Wood Aug 2002

Predictable Assembly Of Substation Automation Systems: An Experiment Report, Scott A. Hissam, John Hudak, James Ivers, Mark H. Klein, Magnus Larsson, Gabriel A. Moreno, Linda M. Northrop, Daniel Plakosh, Judith Stafford, Kurt C. Wallnau, William G. Wood

Gabriel A. Moreno

The Predictable Assembly from Certifiable Components (PACC) Initiative at the Software Engineering Institute (SEI) is developing methods and technologies for predictable assembly. A software development activity that builds systems from components is predictable if the runtime behavior of an assembly of components can be predicted from known properties of components and their patterns of interactions (connections), and if these predictions can be objectively validated. A component is certifiable if these known properties can be obtained or validated by independent third parties. The SEI's technical approach to PACC rests on prediction-enabled component technology (PECT). At the highest level, PECT is a …


Packaging And Deploying Predictable Assembly, Scott A. Hissam, Gabriel A. Moreno, Judith Stafford, Kurt C. Wallnau May 2002

Packaging And Deploying Predictable Assembly, Scott A. Hissam, Gabriel A. Moreno, Judith Stafford, Kurt C. Wallnau

Gabriel A. Moreno

Significant economic and technical benefits accrue from the use of pre-existing and commercially available software components to develop new systems. However, challenges remain that, if not adequately addressed, will slow the adoption of software component technology. Chief among these are a lack of consumer trust in the quality of components, and a lack of trust in the quality of assemblies of components without extensive and expensive testing. This paper describes predictionenabled component technology (PECT). A PECT results from integrating component technology with analysis models. An analysis model permits analysis and prediction of assembly-level properties prior to component composition, and, perhaps, …


Statistical Models For Empirical Component Properties And Assembly-Level Property Predictions: Toward Standard Labeling, Gabriel A. Moreno, Scott A. Hissam, Kurt C. Wallnau Apr 2002

Statistical Models For Empirical Component Properties And Assembly-Level Property Predictions: Toward Standard Labeling, Gabriel A. Moreno, Scott A. Hissam, Kurt C. Wallnau

Gabriel A. Moreno

One risk inherent in the use of software components has been that the behavior of assemblies of components is discovered only after their integration. The objective of our work is to enable designers to use known (and certified) component properties as parameters to models that can be used to predict assembly-level properties. Our concern in this paper is with empirical component properties and compositional reasoning, rather than formal properties and reasoning. Empirical component properties must be measured; assessing the effectiveness of predictions based on these properties also involves measurement. This, in turn, introduces systematic and random measurement error. As a …


Packaging Predictable Assembly With Prediction-Enabled Component Technology, Scott A. Hissam, Gabriel A. Moreno, Judith Stafford, Kurt C. Wallnau Oct 2001

Packaging Predictable Assembly With Prediction-Enabled Component Technology, Scott A. Hissam, Gabriel A. Moreno, Judith Stafford, Kurt C. Wallnau

Gabriel A. Moreno

This report describes the use of prediction-enabled component technology (PECT) as a means of packaging predictable assembly as a deployable product. A PECT results from integrating a component technology with one or more analysis technologies. Analysis technologies allow analysis and prediction of assembly-level properties prior to component assembly, and, presumably, prior to component acquisition. Analysis technologies also identify required component properties and their certifiable descriptions. This report describes the major structures of a PECT. It then discusses the means of validating the predictive powers of a PECT so that consumers may obtain measurably bounded trust in design-time predictions. Last, it …


Applicability Of General Scenarios To The Architecture Tradeoff Analysis Method, Len Bass, Mark H. Klein, Gabriel A. Moreno Sep 2001

Applicability Of General Scenarios To The Architecture Tradeoff Analysis Method, Len Bass, Mark H. Klein, Gabriel A. Moreno

Gabriel A. Moreno

The SEI has been developing a list of scenarios to characterize quality attributes. The SEI has also been conducting Architecture Tradeoff Analysis Method (ATAM) evaluations. One output of an ATAM evaluation is a collection of scenarios that relate to quality attribute requirements for the specific system being evaluated. In this report, we compare the scenarios elicited from five ATAM evaluations with the scenarios used to characterize the quality attributes. This effort was designed to validate the coverage of the existing set of general scenarios and to analyze trends in the risks uncovered in ATAM reports.


Purification And Characterization Of Porin From Corn (Zea Mays L.) Mitochondria, Philadelphia University Dec 1992

Purification And Characterization Of Porin From Corn (Zea Mays L.) Mitochondria, Philadelphia University

Philadelphia University, Jordan

No abstract provided.


Positive Residues Involved In The Voltage-Gating Of The Mitochondrial Porin-Channel Are Localized In The External Moiety Of The Pore, Philadelphia University Dec 1989

Positive Residues Involved In The Voltage-Gating Of The Mitochondrial Porin-Channel Are Localized In The External Moiety Of The Pore, Philadelphia University

Philadelphia University, Jordan

No abstract provided.