ANIMATING LOTOS SPECIFICATIONS USING AMLOG

1996 ◽  
Vol 06 (01) ◽  
pp. 5-19
Author(s):  
ATSUSHI TOGASHI ◽  
GLENN MANSFIELD ◽  
NORIO SHIRATORI
Keyword(s):  
Rapid Prototyping ◽  
Formal Model ◽  
Communication Protocol ◽  
Equational Logic ◽  
Data Abstraction ◽  
Protocol Specification ◽  
Stepwise Refinement ◽  
Communication Processes ◽  
Intelligent Communication ◽  
New Framework

In order to achieve a more convenient and intelligent handling of LOTOS specifications, an approach is proposed wherein specifications are translated into an appropriate equational logic language and interpreted. LOTOS has an excellent formal model for describing communication processes and equational logic languages have the capability of inferencing and data abstraction. Naturally, the marriage of LOTOS and equational logic provides a powerful framework with features that could not be realized in existing technologies. To demonstrate this potential, AMLOG is chosen as the appropriate equational logic language. Apart from rapid prototyping of specifications, some of the exciting possibilities of the new framework that are demonstrated include stepwise refinement and testing for correctness of specifications, facilities for property checking and verification of bisimulation equivalences. Also, the derivation of behavior expressions from trace histories is shown. The approach, extensible to other FDTs as well, is a step towards realizing an intelligent communication protocol specification environment.

The Influence of Social Networks on Communication Satisfaction within the Organizations

2012 ◽  
pp. 545-566 ◽  
Author(s):  
Danijela Lalic ◽  
Ugljesa Marjanovic ◽  
Bojan Lalic
Keyword(s):  
Social Networks ◽  
Information And Communication Technologies ◽  
Communication Technologies ◽  
Relevant Information ◽  
Communication Satisfaction ◽  
Communication Management ◽  
Communication Processes ◽  
Information And Communication ◽  
Insight Into ◽  
New Framework

Today, technological achievements that significantly influence communication management are Social Networks in virtual environment. The latest research clearly indicates that this trend is going to last in the future. It is considered as a fact that there are many changes and innovations in the field of information and communication technologies during the past few decades. Development of communication technologies has provided a new framework for organizing corporate communication processes, both internally and externally. Channels for the transfer of relevant information had been faced with huge technological improvement, but fact analysis and former research do not provide insight into specific motivation patterns for usage of Social Networks among employees, nor into their influence on Communication Satisfaction within the organizations.

A New Framework for Reusing Business Processes Via Mashup

2017 ◽  
Vol 8 (4) ◽  
pp. 52-70
Author(s):  
Zenak Fethia ◽  
Zaoui Lynda
Keyword(s):  
Open Source ◽  
Business Process ◽  
Business Processes ◽  
Formal Model ◽  
New Process ◽  
Central Interest ◽  
Simple Interface ◽  
Temporal Events ◽  
User Friendly ◽  
New Framework

This article describes how in the last decade, business process repositories have grown significantly and the need for new processes to answer increasing market demands, has become a central interest of modern enterprises. However, developing open source business processes (BP) from scratch is one of the most time-consuming and high-cost tasks. Therefore, reusing mechanisms becomes a priority to deal with this issue. In this article, it is proposed that an open source user-friendly framework that mixes parts of existing process components to build a new process, in order to respond to a particular goal. This is known as business process mashup (BP_Mashup). The BP_mashup framework presented in this article allows users to perform a mixture of process fragments using a simple interface with a set of graphical and temporal events operators based on a formal model.

Absolute Value Encoder Communication Interface Design Based on SSI Protocol

2013 ◽  
Vol 441 ◽  
pp. 932-935
Author(s):  
Zai Ping Chen ◽  
Zhi Tong Chen
Keyword(s):  
Interface Design ◽  
Communication Protocol ◽  
Low Cost ◽  
Communication Interface ◽  
Protocol Specification ◽  
Absolute Value ◽  
Design Scheme ◽  
Communication Function ◽  
The Absolute ◽  
Output Interface

In terms of absolute value encoder applications, SSI communication protocol, as an earlier implementation of communication protocol, has been widely used recently. Many companies, including both domestic and overseas, have introduced encoder communication interfaces with the SSI absolute value. In this paper, based on the features of SSI protocol communication, we propose a low cost of SSI protocol communication interface design scheme for the absolute value encoder whose output is asynchronous or parallel. The experiment shows that this kind of communication interface is stable, reliable and makes the absolute value encoder with asynchronous serial or parallel output interface meet the SSI protocol specification of communication function.

Sign in / Sign up

Export Citation Format

Share Document