Software Engineering Commons^™

Pre-Conference Proceedings Of The Focus Symposium On Knowledge Management Systems, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

No abstract provided.

The Representation Of Context In Computer Software, Hisham Assal, Kym Pohl, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

Computers do not have the equivalent of a human cognitive system and therefore store data simply as the numbers and words that are entered into the computer. For a computer to interpret data it requires an information structure that provides at least some level of context. This can be accomplished utilizing an ontology of objects with characteristics, semantic behavior, and a rich set of relationships to create a virtual version of real world situations and provide the context within which intelligent logic (e.g., agents) can automatically operate.

This paper discusses the process of developing ontologies that serve to …

Intelligent Information Management Tools In A Service-Oriented Software Environment, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

This paper draws attention to the increasing need for agile and adaptive software environments that are capable of supporting rapid re-planning during the execution of time-critical operations involving commercial end-to-end supply chain transaction sequences, as well as disaster response and military missions. It is argued that such environments are currently best served by information-centric software tools executing within a service-oriented paradigm. Service-oriented architecture (SOA) design concepts and principles are described, with a focus on the functions of the services management framework (SMF) and enterprise service bus (ESB) components. Differentiating between data-centric and information-centric services, it is suggested that only intelligent …

Incremental Validation Of Formal Specifications, Paul S. Corwin

Master's Theses

This thesis presents a tool for the mechanical validation of formal software specifications. The tool is based on a novel approach to incremental validation. In this approach, small-scale aspects of a specification are validated, as part of the stepwise refinement of a formal model.

The incremental validation technique can be considered a form of "lightweight" model checking. This is in contrast to a "heavyweight" approach, wherein an entire large-scale model is validated en masse.

The validation tool is part of a formal modeling and specification language (FMSL), used in software engineering instruction. A lightweight, incremental approach to validation is beneficial …

Pipelined Apache Http Server, Kevin Le

Master's Theses

Web servers often become overloaded with irregular surges in web traffic. Several techniques have been explored to cope with these overloads such as distributing load throughout different servers. This thesis presents Pipelined Apache HTTP Server, a modified version of the Apache Software Foundation’s HTTP Server that utilizes a pipelined execution of Apache’s request cycle. We discuss Apache’s original architecture, the modifications necessary for implementation of pipelined execution, and analyze its run time. Ultimately, we hoped to increase throughput of Apache but fall short because of unbalanced request phases and pipelining overhead.

Icodes Global Services (Gs): A Single Load-Planning Capability, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

Over the past decade the Collaborative Agent Design Research Center (CADRC) at California Polytechnic State University (Cal Poly, San Luis Obispo) and its commercial arm CDM Technologies, Inc. (CDM) have developed a suite of information-centric software tools in support of military deployment and distribution processes. All of these tools feature agents that are capable of reasoning about data in the context provided by an internal information model. Together they represent an evolving suite of adaptive Knowledge Management Enterprise Services (KMES) that can be readily configured into a net-centric, Service-Oriented Architecture (SOA) based planning and decision-support toolset for a particular application …

Perspective Models: A Mechanism For Achieving Interoperability Among Expressive, Personalized Domain Views, Kym J. Pohl, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

Accurate and expressive representation of the subject matter over which a context-oriented, decision-support system operates is fundamental to the effectiveness and longevity of the resulting solution. Often taking the form of an ontology, such extensive representational models, by their very nature, are rich in relationships and both coarse and fine-grained objects. It is, however, these qualities enabling rich expression that can significantly increase both the complexity of developing against these models as well as the potential for incurring undesirable performance issues. Further, due to the typically detail-oriented usage inherent in the software-based users (i.e., reasoning agents, etc.) of these models, …

Similarity Assessment Techniques, Michael A. Zang, Adam Gray, Michael Hobbs, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

This paper serves as a layman’s introduction to similarity assessment techniques, their distinction from contemporary computing paradigms, and their real-world applications. The following content derives from the experience gained by the authors in applying similarity assessment techniques to resolve the real-world problems of CDM customers, in particular those faced by the United States Transportation Command (USTRANSCOM).

Pre-Conference Proceedings Of The Focus Symposium On Intelligent Software Tools And Services, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

No abstract provided.

Icodes: A Multi-Agent System In Practice, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

This paper describes the Integrated Computerized Deployment System (ICODES) from both an architectural and evolutionary vantage point.

First, ICODES is a logistic software application of ship load-planning tools that utilizes intelligent software agents in a human-computer collaborative mode. As an example of a new generation of intelligent military decision-support systems, ICODES includes expert agents with automatic reasoning and analysis capabilities. This is made possible by an internal virtual representation of the load-planning environment, in terms of conveyance and cargo characteristics and the complex relationships that constitute the context within which load-planning operations are performed. ICODES agents monitor the principal determinants …

Challenging Computer Software Frontiers And The Human Resistance To Change, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

This paper examines the driving and opposing forces that are governing the current paradigm shift from a data-processing information technology environment without software intelligence to an information-centric environment in which data changes are automatically interpreted within the context of the application domain. The driving forces are related to the large quantity of data and the complexity of networked systems that both call for software intelligence. The opposing forces are non-technical and due to the natural human resistance to change.

Based on this background the paper describes current information-centric technology, proposes a vision of intelligent software system capabilities, and identifies four …

A Translation Engine In Support Of Context-Level Interoperability, Kym J. Pohl, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

The support of context-level interoperability demands increasing attention in today’s arena of semantics-oriented decision-support systems. Unlike data-oriented exchange, such semantic interoperability must venture beyond the elementary communication of discrete data values and endeavor to translate between significantly more expressive, context-rich representations. Further, support of this level of interoperability must not require a contamination of the native perspective embedded within each participant’s representation. Offered as a foundation upon which specific interoperability solutions can be developed, this paper presents a service-oriented framework supporting an extensible set of translation paradigms to effectively connect expressive ontology-based environments. Fundamental to this capability is the notion …

Transway® (Integrated Computerized Deployment System) Technical And Operational Description, Joshua Nibecker, Harmony Larsen, Shawn Pan, Clay Warren, Robert Chambers, Dennis Taylor, Ben Weber, James Delos Reyes, Craig Maas, Mark Porczak, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

The TRANSWAY® software application is an adaptive, ontology-based toolset with collaborative agents, designed to assist the Deployment and Distribution Operations Center (DDOC) staff of the United States Transportation Command (USTRANSCOM) with the performance of movement planning tasks. The principal focus of the TRANSWAY® toolset is re-planning. The objective of TRANSWAY® is to provide DDOC operators with an intelligent planning engine that receives data from GTN and JOPES, and utilizes the existing Integrated Computerized Deployment System (ICODES) and Joint Forces Collaborative Toolkit (JFCT®; -formerly known as SEAWAY) agent-based applications as functional extensions.

With its initial and immediate focus on the …

Enabling The Interoperability Of Large-Scale Legacy Systems, Kalyan Moy Gupta, Michael A. Zang, Adam Gray, David W. Aha, Joe Kriege, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

Legacy system data models can interoperate only if their syntactic and semantic differences are resolved. To address this problem, we have developed the Intelligent Mapping Toolkit (IMT), which enables mixed-initiative mapping of meta-data and instances between relational data models. IMT employs a distributed multi-agent architecture so that, unlike many other efforts, it can perform mapping tasks that involve thousands of schema elements. This architecture includes a novel federation of matching agents that leverage case-based reasoning methods. As part of our pre-deployment evaluation for USTRANSCOM and other DoD agencies, we evaluated IMT’s mapping performance and scalability. We show that combinations of …

Pre-Conference Proceedings Of The Focus Symposium On Representation Of Context In Software Data → Information → Knowledge, Collaborative Agent Design Research Center

Collaborative Agent Design (CAD) Research Center

For the past 20 years commercial corporations and government agencies have suffered under the limitations of stove-piped computer software applications that function as discrete entities within a fragmented data-processing environment. In the United States of America (US) military services, lack of interoperability has been identified by numerous think tanks, advisory boards, and studies, as the primary information systems problem (e.g., Army Science Board 2000, Air Force SAB 2000 Command and Control Study, and NSB Network-Centric Naval Forces 2000). Yet, despite this level of attention, all attempts to achieve interoperability within the current data-centric information systems environment have proven to be …

Knowledge Management Enterprise Services (Kmes): Concepts And Implementation Principles, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

The purpose of this paper is to present concepts and implementation principles related to the design and development of reusable software services that are capable of assisting users at the operational level. Knowledge Management Enterprise Services (KMES) are an implementation of the service-oriented architecture paradigm, with a focus on the exchange of data within the meaningful context of a particular application (i.e., knowledge) domain. This requires a KMES service to incorporate a high level representation of this knowledge domain in the form of an ontology that is shared among all collaborating services within the application environment and at the same …

Alternative Paths To Intelligent Systems, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

This paper examines the three prevalent approaches to Artificial Intelligence (AI), namely symbolic reasoning systems, connectionist systems, and emergent systems based on the principles of the subsumption theory. Distinguished by their top-down and bottom-up mechanisms all three approaches have strengths and weaknesses. While the logical reasoning approach is precise and well supported by mathematical theories and procedures, it is constrained by a largely predefined representational model. Connectionist systems, on the other hand, are able to recognize patterns even if these patterns are only similar and not identical to the patterns that they have been trained to recognize, but they have …

Knowledge Management Enterprise Services (Kmes): Concepts And Implementation Principles, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

The purpose of this paper is to present concepts and implementation principles related to the design and development of reusable software services that are capable of assisting users at the operational level. Knowledge Management Enterprise Services (KMES) are an implementation of the service-oriented architecture paradigm, with a focus on the exchange of data within the meaningful context of a particular application (i.e., knowledge) domain. This requires a KMES service to incorporate a high level representation of this knowledge domain in the form of an ontology that is shared among all collaborating services within the application environment and at the same …

Enhancing The Face Of Service-Oriented Capabilities, Kym J. Pohl, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

With today’s focus toward discoverable web services, Service-Oriented Architectures (SOA) are becoming increasingly prevalent. To support an effective interaction between services and their clientele, the sophistication of the interface, or face, such services present is of critical importance. Without a rich, expressive nature, such services struggle to satisfy the industry promises of reuse, composability, and reduced inter-component dependencies. Especially relevant for domain-oriented applications, services must present sufficient levels of expression to allow for an effective exchange of relevant context. Further, such communication should be offered in an asynchronous manner to promote both work flow efficiency and limited coupling.

This paper …

Icodes (Integrated Computerized Deployment System) Technical And Operational Description, Cesar Diaz, Billy Waiters, Jerry Pickard, Jason Naylor, Steven Gollery, Patrick Mcgraw, Michael Huffman, John Fanshier, Matt Parrott, Steve O'Driscoll-Packer, Boone Pendergrast, Evan Sylvester, Jens Pohl

Collaborative Agent Design (CAD) Research Center

Over the past decade CDM Technologies, Inc. (CDM) in conjunction with the Collaborative Agent Design Research Center (CADRC) at California Polytechnic State University (Cal Poly) in San Luis Obispo, has developed a suite of information-centric software tools in support of military deployment and distribution processes. All of these tools feature agents that are capable of reasoning about data in the context provided by an internal information model. Together they represent an evolving suite of adaptive Knowledge Management Enterprise Services (KMES) that can be readily configured into a net-centric planning and decision-support toolset for a particular application domain.

As a set …

Pre-Conference Proceedings Of The Focus Symposium On Advances In Intelligent Software Systems, Collaborative Agent Design Research Center

Collaborative Agent Design (CAD) Research Center

A very powerful new type of information systems technology is rapidly emerging, driven by government and commercial needs for expert decision-support and knowledge management. One very apparent result of this technology is increasingly intelligent software systems. Computer programs with collaborative agents that are capable of automatically reasoning about data and the dynamic changes in data that occur in real world decision-making situations are already in use by the military and are now transitioning to the commercial world.

Tabu Search For Optimization Of Military Supply Distribution, Ben Weber, Brett Bojduj, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

The dynamic and non-hierarchical nature of the military domain presents a challenge for traditional supply chain optimization. Flow networks and simulation techniques have been applied to the military distribution problem, but are unable to provide time-definite delivery to customers. Recently, optimization approaches have been independently applied towards strategic and operational levels of planning. However, decomposing military distribution into separate problems forces optimization techniques to utilize imprecise data. The size of the military distribution problem has prevented optimization techniques from providing end-to-end planning capabilities. This paper presents a Tabu Search algorithm for simultaneously solving strategic and operational levels of planning. The …

Transway®: Planning With The Tabu Search Algorithm, Joshua Nibecker, Dennis Taylor, Robert Chambers, Harmony Larsen, Ken Cudworth, Clay Warren, Mark Porczak, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

Military deployment and distribution responsibilities call for intelligent collaborative tools in support of strategic and operational planning functions involving the sustainment and movement of military forces. The sustainment requirement is generated at the operational level and is dynamic. It is composed of shifting priorities responding to changes in commander’s intent and changes in the operational situation.

The TRANSWAY software application is designed as a set of intelligent collaborative tools supporting operators performing planning and re-planning tasks in a dynamically changing decision-making environment. TRANSWAY includes several agents with strategic and operational planning and re-planning capabilities. The principal agent is based on …

Elements Of Human Decision-Making, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

The purpose of this paper is to present some understandings of the human problem-solving activity that we have gained in the Collaborative Agent Design Research Center (CADRC) over the past two decades. Since we feel strongly that the human decision-maker should be an integral component of any computer-based decision-support system, it follows that we would have endeavored to incorporate many of the elements that appear to be important to the user in the design of these systems. The complexity of the human cognitive system is evidenced by the large body of literature that describes problem-solving behavior and the relatively fewer …

Perspective Models As A Means For Achieving True Representational Accuracy, Kym Jason Pohl

Collaborative Agent Design (CAD) Research Center

Accurate and expressive representation of the subject matter over which a context-oriented, decision-support system operates is fundamental to the effectiveness and longevity of the resulting solution. Often taking the form of an ontology, such extensive representational models, by their very nature, are rich in both relationships and fine-grained objects. It is, however, these two strengths that can significantly increase complexity for its users in addition to adversely affecting system performance. Further, due to the multitude of compartmentalized facets (i.e., populations of distinct, reasoning agents) inherent in such software solutions, it is important to recognize that a single-minded omniscient set of …

Goods Movement Security: An Information Technology Problem, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

This paper discusses the security problems associated with the movement of goods across international in-land borders and at ocean ports. The author proposes an information technology solution approach that is based on the profiling of international shipments. The collection of data describing the end-to-end movement of a shipment from the initial acquisition transactions, throughout the various transshipment stages, to the final delivery, allows intelligent software to assist customs and homeland security officials to determine the risks associated with the shipment long before it reaches the inspection point. The technical basis and architecture of the SecureOrigins™ software system is described. Designed …

The Tirac™ Development Toolkit: Technical Description, Russell Leighton, Lakshmi Vempati, Alan Davis, Mark Porczak, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

This report provides a technical description of the Toolkit for Information Representation and Agent Collaboration (TIRAC^™) software framework for the development of intelligent decision-support applications. An overview of the transformational forces that have precipitated the need for a development toolkit capable of supporting a distributed, information-centric software environment, and the objectives of TIRAC™ are contained in a companion CDM Technical Report (CDM-17-04) entitled: “The TIRAC^™ Development Toolkit: Purpose and Overview.”

TIRAC™ is an application development framework and toolkit for distributed decision-support systems incorporating software agents that collaborate with each other and human users to monitor changes (i.e., …

A Translational Web Services Bridge Solution For Meaningful Interoperability Between Potentially Disparate Systems, Kym J. Pohl, Lakshmi Vempati, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

An emerging issue in the world of context-centric software-based decision-support is the need for potentially disparate systems to interoperate in meaningful and useful ways. Such interoperability must go beyond the elementary communication of data and endeavor to support a more powerful context-oriented inter-system relationship. A key issue in such functionality is the support, moreover the promotion, of meaningful interoperability while still retaining individual system representations, or perspectives. In other words, the meaningful integration of potentially disparate systems in a manner that allows each collaborating system to retain its potentially unique means of representing, or perceiving, the domain over which it …

Intelligent Software Systems In Historical Context, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

The purpose of this chapter is to trace the evolution of intelligent software from data-centric applications that essentially encapsulate their data environment to ontology-based applications with automated reasoning capabilities. It is argued that a distinction may be drawn between human intelligence and component capabilities within a more general definition of intelligence, and that such component capabilities can be embedded in computer software. The primary vehicle in the quest for intelligent software has been the gradual recognition of the central role played by data and information, rather than the logic and functionality of the application. The three milestones in this evolution …

The Icdm Development Toolkit: Technical Description, Russell Leighton, Lakshmi Vempati, Alan Davis, Mark Porczak, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

This report provides a technical description of the Integrated Cooperative Decision-Making (ICDM) software toolkit for the development of intelligent decision-support applications. An overview of the transformational forces that have precipitated the need for a development toolkit capable of supporting a distributed, information-centric software environment, and the objectives of ICDM are contained in a companion CDM Technical Report (CDM-16-04) entitled: “The ICDM Development Toolkit: Purpose and Overview”.

ICDM is an application development framework and toolkit for distributed decision-support systems incorporating software agents that collaborate with each other and human users to monitor changes (i.e., events) in the state of problem situations, …