Reconciliation of object interaction models

This paper presents Reconciliation+, a tool-supported method which identifies overlaps between models of different object interactions expressed as UML sequence and/or collaboration diagrams, checks whether the overlapping elements of these models satisfy specific consistency rules, and guides developers in handling these inconsistencies. The method also keeps track of the decisions made and the actions taken in the process of managing inconsistencies

Resolving the Large-N Nuclear Potential Puzzle

The large $N_c$ nuclear potential puzzle arose because three- and higher-meson exchange contributions to the nucleon-nucleon potential did not automatically yield cancellations that make these contributions consistent with the general large $N_c$ scaling rules for the potential. Here it is proposed that the resolution to this puzzle is that the scaling rules only apply for energy-independent potentials while all of the cases with apparent inconsistencies were for energy-dependent potentials. It is shown explicitly how energy-dependent potentials can have radically different large N behavior than an equivalent energy-independent one. One class of three-meson graphs is computed in which the contribution to the energy-independent potential is consistent with the general large N rules even though the energy-dependent potential is not.Comment: Corrections to the toy mode

Actor perception in business use case modeling

Mainstream literature recognizes the validity and effectiveness of use cases as a technique for gathering and capturing system requirements. Use cases represent the driver of various modern development methods, mainly of object-oriented extraction, such as the Unified Process. Although the adoption of use cases proliferated in the context of software systems development, they are not as extensively employed in business modeling . The concept of business use case is not a novelty, but only recently did it begin to re-circulate in the literature and in case tools. This paper examines the issues involved in adopting business use cases for capturing the functionality of an organization and proposes guidelines for their identification, packaging, and mapping to system use cases. The proposed guidelines are based on the principle of actor perception described in the paper. The application of this principle is exemplified with a worked example aimed at demonstrating the utility of the proposed guidelines and at clarifying the application of the principle of actor perception. The worked example is based on a series of workshops run at a major UK financial institution

Ontology-based methodology for error detection in software design

Improving the quality of a software design with the goal of producing a high quality software product continues to grow in importance due to the costs that result from poorly designed software. It is commonly accepted that multiple design views are required in order to clearly specify the required functionality of software. There is universal agreement as to the importance of identifying inconsistencies early in the software design process, but the challenge is how to reconcile the representations of the diverse views to ensure consistency. To address the problem of inconsistencies that occur across multiple design views, this research introduces the Methodology for Objects to Agents (MOA). MOA utilizes a new ontology, the Ontology for Software Specification and Design (OSSD), as a common information model to integrate specification knowledge and design knowledge in order to facilitate the interoperability of formal requirements modeling tools and design tools, with the end goal of detecting inconsistency errors in a design. The methodology, which transforms designs represented using the Unified Modeling Language (UML) into representations written in formal agent-oriented modeling languages, integrates object-oriented concepts and agent-oriented concepts in order to take advantage of the benefits that both approaches can provide. The OSSD model is a hierarchical decomposition of software development concepts, including ontological constructs of objects, attributes, behavior, relations, states, transitions, goals, constraints, and plans. The methodology includes a consistency checking process that defines a consistency framework and an Inter-View Inconsistency Detection technique. MOA enhances software design quality by integrating multiple software design views, integrating object-oriented and agent-oriented concepts, and defining an error detection method that associates rules with ontological properties

Uniqueness of infrared asymptotics in Landau gauge Yang-Mills theory

We uniquely determine the infrared asymptotics of Green functions in Landau gauge Yang-Mills theory. They have to satisfy both, Dyson-Schwinger equations and functional renormalisation group equations. Then, consistency fixes the relation between the infrared power laws of these Green functions. We discuss consequences for the interpretation of recent results from lattice QCD.Comment: 24 pages, 8 figure

1+1 Dimensional Yang-Mills Theories in Light-Cone Gauge

In 1+1 dimensions two different formulations exist of SU(N) Yang Mills theories in light-cone gauge; only one of them gives results which comply with the ones obtained in Feynman gauge. Moreover the theory, when considered in 1+(D-1) dimensions, looks discontinuous in the limit D=2. All those features are proven in Wilson loop calculations as well as in the study of the $q\bar q$ bound state integral equation in the large N limit.Comment: Invited report at the Workshop "Low Dimensional Field Theory", Telluride (CO), Aug. 5-17 1996; 16 pages, latex, no figures To appear in International Journal of Modern Physics A minor misprints correcte