A Lightweight Formal Framework for Service-Oriented Applications Design

13 years 10 months ago

Download www.science.unitn.it

Leveraging service oriented programming paradigm would signiﬁcantly aﬀect the way people build software systems. This paper contributes to the above goal proposing a lightweight formal framework capable of capturing the essential components of service-oriented programming paradigm.

Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio

Real-time Traffic

ICSOC 2005 | Programming Paradigm | Service Oriented Programming | Service-oriented Programming Paradigm |

claim paper

» A Formal Framework For Building Checking And Evolving Service Oriented Architectures

» An ActionStateBased ModelChecking Approach for the Analysis of Communication Protocols for...

» Verifying the Interplay of Authorization Policies and Workflow in ServiceOriented Architec...

» xDAuth a scalable and lightweight framework for cross domain access control and delegation

» A ServiceOriented Design Framework for Secure Network Applications

» Towards a formal framework for Choreography

» Formal Behavioral Modeling and Compliance Analysis for ServiceOriented Systems

» Choreography and Orchestration Conformance for System Design

Post Info
More Details (n/a)

Added	27 Jun 2010
Updated	27 Jun 2010
Type	Conference
Year	2005
Where	ICSOC
Authors	Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio Marchese

Comments (0)

Sciweavers

A Lightweight Formal Framework for Service-Oriented Applications Design

ICSOC 2005 | Programming Paradigm | Service Oriented Programming | Service-oriented Programming Paradigm |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers