ABSL: an actor-based specification language for office automation

1990 ◽  
Author(s):  
Hossein Saiedian ◽  
Elizabeth A. Unger
Keyword(s):  
Office Automation ◽  
Specification Language

scholarly journals A spatio-temporal specification language and its completeness & decidability

2020 ◽  
Vol 9 (1) ◽  
Author(s):  
Tengfei Li ◽  
Jing Liu ◽  
Haiying Sun ◽  
Xiang Chen ◽  
Lipeng Zhang ◽  
...  
Keyword(s):  
Intelligent Transportation System ◽  
Cyber Physical Systems ◽  
Specification Language ◽  
Finite Model ◽  
Critical Systems ◽  
Physical Systems ◽  
Spatial Objects ◽  
Temporal Properties ◽  
Spatio Temporal ◽  
Temporal Specification

AbstractIn the past few years, significant progress has been made on spatio-temporal cyber-physical systems in achieving spatio-temporal properties on several long-standing tasks. With the broader specification of spatio-temporal properties on various applications, the concerns over their spatio-temporal logics have been raised in public, especially after the widely reported safety-critical systems involving self-driving cars, intelligent transportation system, image processing. In this paper, we present a spatio-temporal specification language, STSL PC, by combining Signal Temporal Logic (STL) with a spatial logic S4 u, to characterize spatio-temporal dynamic behaviors of cyber-physical systems. This language is highly expressive: it allows the description of quantitative signals, by expressing spatio-temporal traces over real valued signals in dense time, and Boolean signals, by constraining values of spatial objects across threshold predicates. STSL PC combines the power of temporal modalities and spatial operators, and enjoys important properties such as finite model property. We provide a Hilbert-style axiomatization for the proposed STSL PC and prove the soundness and completeness by the spatio-temporal extension of maximal consistent set and canonical model. Further, we demonstrate the decidability of STSL PC and analyze the complexity of STSL PC. Besides, we generalize STSL to the evolution of spatial objects over time, called STSL OC, and provide the proof of its axiomatization system and decidability.

Office automation issues viewed from a multi-perspective systems-based framework

2001 ◽  
Vol 20 (2) ◽  
pp. 95-103
Author(s):  
D. Sculli ◽  
J.K.K. Ho
Keyword(s):  
Electronic Commerce ◽  
Systems Thinking ◽  
Ethical Issues ◽  
Office Automation ◽  
Office Environment ◽  
Automation Technology

Advances in office automation technology and electronic commerce are expected to transform the present office environment. This transformation will not be gradual and smooth, but it is expected to raise many technical, behavioural, and even ethical issues. This paper presents a multi-perspective systems-based framework developed from the general concepts of systems thinking. The framework is used to examine and explore issues related to office automation. A case example is presented to demonstrate the application of the framework.

The specification language T

2005 ◽  
Vol 40 (5) ◽  
pp. 28-38
Author(s):  
Boris Sunik
Keyword(s):  
Specification Language

A Brief Analysis on the Construction of Banking Office Automation System

2011 ◽  
Vol 225-226 ◽  
pp. 743-746
Author(s):  
Zhen Li ◽  
Yan Fang Zhao ◽  
Min Li
Keyword(s):  
High Speed ◽  
Banking Industry ◽  
Office Automation ◽  
Automation System ◽  
Management Level ◽  
Currency Exchange ◽  
Office Automation System ◽  
Economic Construction ◽  
Working Efficiency ◽  
Advanced Computer

As one of the most important parts of the financial organizations nowadays, banking industry plays an important role in not just the area of high-speed operation of the sociaty’s economy but also in the area of currency exchange. The Wave of Information Technology, which has caused a swift-development of the whole world’s economy, brings about both opportunity and challengs never arised to the banking industry. The sociaty, as it is becoming more intellectual and automatic, has post a harder demand for the working efficiency of the banking industry. Therefore, the banking industry must enhance its construction of informationization and automation in order to strengthern its competitiveness as well as the economic construction of service sociaty. Banking office automation will improve the working efficiency along with modernized management level in the light of advanced computer technology.

Sign in / Sign up

Export Citation Format

Share Document