A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language

Recently, several flavors of formal methods (FMs) have been gaining industrial acceptance and production quality software tools have begun emerging. Domain engineering (DE) has been introduced as one of outstanding ideas in software development. It serves form al methods that provide a rigorous, mat...

Full description

Saved in:
Bibliographic Details
Main Authors: Nami, M.R., Sharifi, M., Malekpour, A.
Format: Conference Proceeding
Language:English
Subjects:
Application software
Calculus
Collaborative Networks
Computer industry
Flexible manufacturing systems
Formal Methods
Formal specifications
Mathematics
Programming
RAISE Method
Reliability engineering
Software engineering
Specification languages
Virtual Organization
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Recently, several flavors of formal methods (FMs) have been gaining industrial acceptance and production quality software tools have begun emerging. Domain engineering (DE) has been introduced as one of outstanding ideas in software development. It serves form al methods that provide a rigorous, mathematical based framework (domain model) for specifying, defining, and verifying systems in the software development. The increasing demands for extended products and services along with advances in lT industry have motivated researchers to create virtual organizations (VOs) in order to better respond to business opportunities and produce qualitative services and products. The purpose of this paper is to describe Virtual Organization and Domain engineering with introducing formal methods especially RAISE as a formal method that has been used successfully on diverse applications. Then, a primary formal model is presented using RAISE method and its language (RSI) formula for the improvement of VO creation process. Formal model presented in this paper is provable to implement. It improves reusability and reliability in such environments.
DOI:10.1109/SERA.2007.25