Toward an open-architecture specification language for machine control

1999 ◽  
Author(s):  
Daniel W. Engels ◽  
Sanjay E. Sarma
Keyword(s):  
Specification Language ◽  
Open Architecture ◽  
Machine Control ◽  
Architecture Specification

Incremental Verification of Architecture Specification Language for Real-Time Systems

1998 ◽  
Vol 08 (03) ◽  
pp. 347-360 ◽  
Author(s):  
Jeffrey J. P. Tsai ◽  
A. P. Sistla ◽  
Avinash Sahay ◽  
Ray Paul
Keyword(s):  
Real Time ◽  
Large Scale ◽  
Specification Language ◽  
Limiting Factor ◽  
Timing Constraints ◽  
Real Time Systems ◽  
System Architectures ◽  
Temporal Properties ◽  
Time Systems ◽  
Architecture Specification

The concept of software architecture has recently emerged as a new way to improve our ability to effectively construct large scale software systems. However, there is no formal architecture specification language available to model and analyze temporal properties of complex real-time systems. In this paper, an object-oriented logic-based architecture specification language for real-time systems is discussed. Representation of the temporal properties and timing constraints, and their integration with the language to model real-time concurrent systems is given. Architecture based specification languages enable the construction of large system architectures and provide a means of testing and validation. In general, checking the timing constraints of real-time systems is done by applying model checking to the constraint expressed as a formula in temporal logic. The complexity of such a formal method depends on the size of the representation of the system. It is possible that this size could increase exponentially when the system consists of several concurrently executing real-time processes. This means that the complexity of the algorithm will be exponential in the number of processes of the system and thus the size of the system becomes a limiting factor. Such a problem has been defined in the literature as "state explosion problem". We propose a method of incremental verification of architectural specifications for real-time systems. The method has a lower complexity in a sense that it does not work on the whole state space, but only on a subset of it that is relevant to the property to be verified.

Towards Flexible Specification, Composition and Coordination of Workflow Activities

2011 ◽  
pp. 162-190
Author(s):  
Ling Liu ◽  
Calton Pu
Keyword(s):  
Ad Hoc ◽  
User Interaction ◽  
Specification Language ◽  
Open Architecture ◽  
Organizational Processes ◽  
Workflow Systems ◽  
Activity Modeling ◽  
Different Types

We introduce the ActivityFlow specification language for flexible specification, composition, and coordination of workflow activities. The most interesting features of the ActivityFlow specification language include (1) a collection of specification mechanisms allowing workflow designers to use a uniform workflow specification interface to describe different types (i.e., ad-hoc, administrative, or production) of workflows involved in their organizational processes (an objective of this feature is to help increase the flexibility of workflow processes in accommodating changes); (2) a set of activity modeling facilities, enabling workflow designers to describe the flow of work declaratively and incrementally, allowing reasoning about correctness and security of complex workflow activities independently from their underlying implementation mechanisms; (3) an open architecture that supports user interaction as well as collaboration of workflow systems of different organizations.

Sign in / Sign up

Export Citation Format

Share Document