Times Two: The Tenses of Linear and Collapse Dynamics in Relational Quantum Mechanics

The nature and topology of time remains an open question in philosophy, both tensed and tenseless concepts of time appear to have merit. A concept of time including both kinds of time evolution of physical systems in quantum mechanics subsumes the properties of both notions. The linear dynamics defines the universe probabilistically throughout space-time, and can be seen as the definition of a block universe. The collapse dynamics is the time evolution of the linear dynamics, and is thus of different logical type to the linear dynamics. These two different kinds of time evolution are respectively tensed and tenseless. Ascribing tensed semantics to the collapse dynamics is problematic in the light of special relativity, but this difficulty does not apply to a relational quantum mechanics. In this context, while the linear dynamics is the time evolution of the universe objectively, the collapse dynamics is the time evolution of the universe subjectively, applying solely in the functional frame of reference of the observer

A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective

A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. We focus on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and TROLL), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of abstract state machine

Multi-perspective requirements engineering for networked business systems: a framework for pattern composition

How business and software analysts explore, document, and negotiate requirements for enterprise systems is critical to the benefits their organizations will eventually derive. In this paper, we present a framework for analysis and redesign of networked business systems. It is based on libraries of patterns which are derived from existing Internet businesses. The framework includes three perspectives: Economic value, Business processes, and Application communication, each of which applies a goal-oriented method to compose patterns. By means of consistency relationships between perspectives, we demonstrate the usefulness of the patterns as a light-weight approach to exploration of business ideas

Automating SLA-Driven API Development with SLA4OAI

The OpenAPI Specification (OAS) is the de facto standard to describe RESTful APIs from a functional perspective. OAS has been a success due to its simple model and the wide ecosystem of tools supporting the SLA-Driven API development lifecycle. Unfortunately, the current OAS scope ignores crucial information for an API such as its Service Level Agreement (SLA). Therefore, in terms of description and management of non-functional information, the disadvantages of not having a standard include the vendor lock-in and prevent the ecosystem to grow and handle extra functional aspects. In this paper, we present SLA4OAI, pioneering in extending OAS not only allowing the specification of SLAs, but also supporting some stages of the SLA-Driven API lifecycle with an open-source ecosystem. Finally, we validate our proposal having modeled 5488 limitations in 148 plans of 35 real-world APIs and show an initial interest from the industry with 600 and 1900 downloads and installs of the SLA Instrumentation Library and the SLA Engine.Ministerio de Economía y Competitividad TIN2015-70560-RMinisterio de Ciencia, Innovación y Universidades RTI2018-101204-B-C21Ministerio de Educación, Cultura y Deporte FPU15/0298

Don’t throw rocks from the side-lines: A sociomaterial exploration of organizational blogs as boundary objects

Purpose Social media such as blogs are being widely used in organizations in order to undertake internal communication and share knowledge, rendering them important boundary objects. A root metaphor of the boundary object domain is the notion of relatively static and inert objects spanning similarly static boundaries. A strong sociomaterial perspective allows the immisciblity of object and boundary to be challenged, since a key tenet of this perspective is the ongoing and mutually-constituted performance of the material and social. Design/methodology/approach The aim of our research is to draw upon sociomateriality to explore the operation of social media platforms as intra-organizational boundary objects. Given the novel perspective of this study and its social constructivist ontology, we adopt an exploratory, interpretivist research design. This is operationalized as a case study of the use of an organizational blog by a major UK government department over an extended period. A novel aspect of the study is our use of data released under a Freedom of Information request. Findings We present three exemplar instances of how the blog and organizational boundaries were performed in the situated practice of the case study organization. We draw on literature on boundary objects, blogs and sociomateriality in order to provide a theoretical explication of the mutually-constituted performance of the blog and organizational boundaries. We also invoke the notion of ‘extended chains of intra-action’ to theorise changes in the wider organization. Originality/value Adoption of a sociomaterial lens provides a highly novel perspective of boundary objects and organizational boundaries. The study highlights the indeterminate and dynamic nature of boundary objects and boundaries, with both being in an intra-active state of becoming, challenging conventional conceptions. The study demonstrates that specific material-discursive practices arising from the situated practice of the blog at the respective boundaries were performative, reconfiguring the blog and boundaries and being generative of further changes in the organization

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1

This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS (Tigars) project. These notes aim to support the development and evaluation of autonomous vehicles. Part 1 addresses: Assurance-overview and issues, Resilience and Safety Requirements, Open Systems Perspective and Formal Verification and Static Analysis of ML Systems. Part 2: Simulation and Dynamic Testing, Defence in Depth and Diversity, Security-Informed Safety Analysis, Standards and Guidelines