We adapt the work of Power [14] to describe general, not-necessarily composable, not-necessarily commutative 2-categorical pasting diagrams and their composable and commutative parts. We provide a deformation theory for pasting diagrams valued in the 2-category of k-linear categories, paralleling that provided for diagrams of algebras by Gerstenhaber and Schack [9], proving the standard results...

Especially in large, complex projects, various aspects of process (activity network) information reside in separate models and diagrams that can become unsynchronized over time. Prior research has introduced the concept of a process architecture framework (PAF), which provides a solution by tying all the models and diagrams together in a single, rich process model with many views, where each vi...

Strength-Probability-Time (SPT) diagrams provide an intuitively pleasing method for presenting reliability data based on extrapolations from accelerated fatigue testing data. If power-law crack growth kinetics are assumed the calculations required to generate the SPT diagram are particularly simple. However, if exponential or other more complex forms are used, this is not the case. If the accel...

This tutorial paper discusses the known representations based on Binary Decision Diagrams (BDDs) for various types of discrete objects: incompletely specified functions, sets, finite state machines, binary and multi-valued relations, etc. While presenting the known material, the emphasis is on those aspects of implicit representations that are important to achieve speed-up in computation. The n...

MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) were added to the UML specification as the fundamental unit of behavior specification. Actions are the basis for defining the fine-grained behavior of operations, activity dia...

MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) were added to the UML specification as the fundamental unit of behavior specification. Actions are the basis for defining the fine-grained behavior of operations, activity dia...

While most algebra is done by writing text and formulas, diagrams have always been used to present structural information clearly and concisely. Text shells are the de facto interface for computational algebraic number theory, but they are incapable of presenting structural information graphically. We present GiANT, a newly developed graphical interface for working with number fields. GiANT off...

T'ne geomagnetic induction tensor is a means of summarizing the response of the earth at a given observing site to a geomagnetic variation source field. In this paper the characteristics of the tensor elements are examined, both generally and for the special cases of one-dimensional and two-dimensional geologic structure. The first-order model is taken of uniform source fields originating exter...

When performing development tasks, such as modifications and debugging, developers must often understand and manipulate source code that crosscuts a software system's structure. These tasks are made more difficult by limitations of the two approaches currently used to present crosscutting structure: tree views and structure diagrams. Tree views force the developer to manually synthesize informa...