The Experts below are selected from a list of 306 Experts worldwide ranked by ideXlab platform
Wattana Viriyasitavat - One of the best experts on this subject based on the ideXlab platform.
-
Extension of Specification Language for soundness and completeness of service workflow
Enterprise Information Systems, 2018Co-Authors: Wattana Viriyasitavat, Assadaporn SapsomboonAbstract:ABSTRACTA Service Workflow is an aggregation of distributed services to fulfill specific functionalities. With ever increasing available services, the methodologies for the selections of the services against the given requirements become main research subjects in multiple disciplines. A few of researchers have contributed to the formal Specification Languages and the methods for model checking; however, existing methods have the difficulties to tackle with the complexity of workflow compositions. In this paper, we propose to formalize the Specification Language to reduce the complexity of the workflow composition. To this end, we extend a Specification Language with the consideration of formal logic, so that some effective theorems can be derived for the verification of syntax, semantics, and inference rules in the workflow composition. The logic-based approach automates compliance checking effectively. The Service Workflow Specification (SWSpec) has been extended and formulated, and the soundness, comple...
-
swspec the requirements Specification Language in service workflow environments
IEEE Transactions on Industrial Informatics, 2012Co-Authors: Wattana Viriyasitavat, Andrew MartinAbstract:Advanced technologies have changed the nature of business processes in the form of services. In coordinating services to achieve a particular objective, service workflow is used to control service composition, execution sequences as well as path selection. Since existing mechanisms are insufficient for addressing the diversity and dynamicity of the requirements in a large-scale distributed environment, developing formal requirements Specification is necessary. In this paper, we propose a Service Workflow Specification Language, called SWSpec, which allows arbitrary services in a workflow to formally and uniformly impose their requirements. As such, the solution will provide a formal way to regulate and control workflows as well as enrich the proliferation of service provisions and consumptions in opened environments.
Tazkiya Sheik - One of the best experts on this subject based on the ideXlab platform.
-
SVG web environment for Z Specification Language
Lecture Notes in Computer Science, 2005Co-Authors: Jing Sun, Hai Wang, Sasanka Athauda, Tazkiya SheikAbstract:This paper presents a web environment for the Z formal Specification Language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a web based graphical editor for the Z Specification Language. It not only supports graphical editing and global accessibility for the Z formal Specifications, but also provides model comprehension facilities such as schema expansion, Specification navigation and model querying. This paper outlines the requirement, design and implementation of the tool and its future improvements.
-
ICFEM - SVG web environment for z Specification Language
Formal Methods and Software Engineering, 2005Co-Authors: Jing Sun, Hai Wang, Sasanka Athauda, Tazkiya SheikAbstract:This paper presents a web environment for the Z formal Specification Language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a web based graphical editor for the Z Specification Language. It not only supports graphical editing and global accessibility for the Z formal Specifications, but also provides model comprehension facilities such as schema expansion, Specification navigation and model querying. This paper outlines the requirement, design and implementation of the tool and its future improvements.
Andrew Martin - One of the best experts on this subject based on the ideXlab platform.
-
swspec the requirements Specification Language in service workflow environments
IEEE Transactions on Industrial Informatics, 2012Co-Authors: Wattana Viriyasitavat, Andrew MartinAbstract:Advanced technologies have changed the nature of business processes in the form of services. In coordinating services to achieve a particular objective, service workflow is used to control service composition, execution sequences as well as path selection. Since existing mechanisms are insufficient for addressing the diversity and dynamicity of the requirements in a large-scale distributed environment, developing formal requirements Specification is necessary. In this paper, we propose a Service Workflow Specification Language, called SWSpec, which allows arbitrary services in a workflow to formally and uniformly impose their requirements. As such, the solution will provide a formal way to regulate and control workflows as well as enrich the proliferation of service provisions and consumptions in opened environments.
Jing Sun - One of the best experts on this subject based on the ideXlab platform.
-
SVG web environment for Z Specification Language
Lecture Notes in Computer Science, 2005Co-Authors: Jing Sun, Hai Wang, Sasanka Athauda, Tazkiya SheikAbstract:This paper presents a web environment for the Z formal Specification Language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a web based graphical editor for the Z Specification Language. It not only supports graphical editing and global accessibility for the Z formal Specifications, but also provides model comprehension facilities such as schema expansion, Specification navigation and model querying. This paper outlines the requirement, design and implementation of the tool and its future improvements.
-
ICFEM - SVG web environment for z Specification Language
Formal Methods and Software Engineering, 2005Co-Authors: Jing Sun, Hai Wang, Sasanka Athauda, Tazkiya SheikAbstract:This paper presents a web environment for the Z formal Specification Language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a web based graphical editor for the Z Specification Language. It not only supports graphical editing and global accessibility for the Z formal Specifications, but also provides model comprehension facilities such as schema expansion, Specification navigation and model querying. This paper outlines the requirement, design and implementation of the tool and its future improvements.
Assadaporn Sapsomboon - One of the best experts on this subject based on the ideXlab platform.
-
Extension of Specification Language for soundness and completeness of service workflow
Enterprise Information Systems, 2018Co-Authors: Wattana Viriyasitavat, Assadaporn SapsomboonAbstract:ABSTRACTA Service Workflow is an aggregation of distributed services to fulfill specific functionalities. With ever increasing available services, the methodologies for the selections of the services against the given requirements become main research subjects in multiple disciplines. A few of researchers have contributed to the formal Specification Languages and the methods for model checking; however, existing methods have the difficulties to tackle with the complexity of workflow compositions. In this paper, we propose to formalize the Specification Language to reduce the complexity of the workflow composition. To this end, we extend a Specification Language with the consideration of formal logic, so that some effective theorems can be derived for the verification of syntax, semantics, and inference rules in the workflow composition. The logic-based approach automates compliance checking effectively. The Service Workflow Specification (SWSpec) has been extended and formulated, and the soundness, comple...