On the derivation of class diagrams from use cases and logical software architectures

The transformation of user requirements into system requirements models can be achieved using the 4-Step Rule Set (4SRS) method that transforms UML use case diagrams into system-level object diagrams. These diagrams represent the logical architecture of the system, integrating the system-level entities, their responsibilities and the relationships among them. The logical architecture captures the system functional requirements and its nonfunctional intentionalities. Although contributing to the formalization of the design of software architectures, the 4SRS method needs to be extended in order to support the design of the database subsystems that may be considered pertinent within the specified logical architecture. This paper presents the extension of the 4SRS method to support the construction of the class diagram that complements the logical architecture, and shows, through the presentation of a demonstration case, the applicability of the proposed approach.(undefined

A Framework for Program Development Based on Schematic Proof

Often, calculi for manipulating and reasoning about programs can be recast as calculi for synthesizing programs. The difference involves often only a slight shift of perspective: admitting metavariables into proofs. We propose that such calculi should be implemented in logical frameworks that support this kind of proof construction and that such an implementation can unify program verification and synthesis. Our proposal is illustrated with a worked example developed in Paulson's Isabelle system. We also give examples of existent calculi that are closely related to the methodology we are proposing and others that can be profitably recast using our approach

A Self-Routing Protocol for Distributed Consensus on Logical Information

In this paper, we address decision making problems, depending on a set of input events, with networks of dynamic agents that have partial visibility of such events. Previous work by the authors proposed so-called logical consensus approach, by which a network of agents, that can exchange binary values representing their local estimates of the events, is able to reach a unique and consistent decision. The approach therein proposed is based on the construction of an iterative map, whose computation is centralized and guaranteed under suitable conditions on the input visibility and graph connectivity. Under the same conditions, we extend the approach in this work by allowing the construction of a logical linear consensus system that is globally stable in a fully distributed way. The effectiveness of the proposed method is showed through the real implementation of a wireless sensor network as a framework for the surveillance of an urban area

Peirce's Arrow and Satzsystem: A Logical View for the Language-Game

This article is an effort to understand how the Peirce's Arrow (Logical NOR), as a logical operation, can act within the concept of Ludwig Wittgenstein's language-game, considering that the language game is a satzsystem, i.e., a system of propositions. To accomplish this task, we will cover four steps: (1) understand the possible relationship of the thought of C. S. Peirce with the founding trio of analytic philosophy, namely Frege-RussellWittgenstein, looking for similarities between the logic of Peirce and his students (notably Christine Ladd and O.H. Mitchell) with a New Wittgenstein’s approach, which sees Early Wittgenstein (Tractatus Logico-Philosophicus),Middle Wittgenstein and Last Wittgenstein (Philosophical Investigations) while a coherent way of thinking and not a theoretical break; (2) describe the operation of the Peirce’s Arrow (Logical NOR) as a logical connective; (3)understand the notion of satzsystem (Middle Wittgenstein) and the possibility of applying the concept of language-game (Last Wittgenstein) on it; and (4) understand how the Logical NOR can operate within a satzsystem. The goal here is a search for the logic of the language-game and how the logical ideas of C. S. Peirce can help in this construction. And this construction might be interesting for a better understanding of the analytic philosophy of language

Development of New Space Systems Architecture in SYSML Using Model-Based Pattern Language

This manuscript presents an approach to the application of the Model-Based Systems Engineering (MBSE) and Model-Based Systems Architecting (MBSA) principles to develop a Model-Based Pattern Language (MBPL). It takes considerable time for systems engineers and mission architects to develop a new system from scratch, particularly new space-based systems derived from the existing space system architectures. The use of a pattern language which is a holistic view of reusable logical model artifacts, can improve the process. The main benefit of the pattern language is to reduce the time and validation required to generate a new space-based system architecture; this approach will develop top-level requirements in the initial phase of the system development. The approach of the methodology in this research was to collect and decompose published literature and other open-source information available on space system architectures and system models. After those were generated, SysML models for systems, sub-systems, products, assembly, subassembly level, and mission-specific requirements were derived from the existing systems and documents using CAMEO SysML software. These patterns were then arranged into a functional ontology and used to construct a logical architecture pattern library. This approach created, updated, and managed a SysML pattern language, which expedited new model construction. The goal was to develop a logical pattern language using public domain information and evaluate patterns by constructing a new space mission. This research was partly funded by the NASA Advanced Concepts Office (ACO) Huntsville, AL., during 2021

Feature-based and Model-based Semantics for English, French and German Verb Phrases

This paper considers the relative merits of using features and formal event models to characterise the semantics of English, French and German verb phrases, and con- siders the application of such semantics in machine translation. The feature-based ap- proach represents the semantics in terms of feature systems, which have been widely used in computational linguistics for representing complex syntactic structures. The paper shows how a simple intuitive semantics of verb phrases may be encoded as a feature system, and how this can be used to support modular construction of au- tomatic translation systems through feature look-up tables. This is illustrated by automated translation of English into either French or German. The paper contin- ues to formalise the feature-based approach via a model-based, Montague semantics, which extends previous work on the semantics of English verb phrases. In so doing, repercussions of and to this framework in conducting a contrastive semantic study are considered. The model-based approach also promises to provide support for a more sophisticated approach to translation through logical proof; the paper indicates further work required for the fulfilment of this promise

Two Case Studies of Subsystem Design for General-Purpose CSCW Software Architectures

This paper discusses subsystem design guidelines for the software architecture of general-purpose computer supported cooperative work systems, i.e., systems that are designed to be applicable in various application areas requiring explicit collaboration support. In our opinion, guidelines for subsystem level design are rarely given most guidelines currently given apply to the programming language level. We extract guidelines from a case study of the redesign and extension of an advanced commercial workflow management system and place them into the context of existing software engineering research. The guidelines are then validated against the design decisions made in the construction of a widely used web-based groupware system. Our approach is based on the well-known distinction between essential (logical) and physical architectures. We show how essential architecture design can be based on a direct mapping of abstract functional concepts as found in general-purpose systems to modules in the essential architecture. The essential architecture is next mapped to a physical architecture by applying software clustering and replication to achieve the required distribution and performance characteristics