FSM4WSR: A Formal Model for Verifiable Web Service Runtime

Li, Zhuqing; Ma, Dianfu; Zhao, Yongwang; Li, Jing; Yang, Qing

doi:10.1109/apscc.2011.16

Cited by 5 publications

(2 citation statements)

References 20 publications

(20 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In [15], the authors address the correctness problem of Web Service protocol implementations by constructing a verifiable Web Service runtime. They proposed a Service-Oriented Description Language for precise and concise description of message processing in Web Service protocol implementations.…”

Section: B Soap-based Web Servicesmentioning

confidence: 99%

Correct-by-Construction Web Service Architecture

Stachtiari

Vesyropoulos

Kourouleas

et al. 2014

2014 IEEE 8th International Symposium on Service Oriented System Engineering

View full text Add to dashboard Cite

Abstract-Service-Oriented Computing aims to facilitate development of large-scale applications out of loosely coupled services. The service architecture sets the framework for achieving coherence and interoperability despite service autonomy and the heterogeneity in data representation and protocols. Service-Oriented Architectures are based on standardized service contracts, in order to infuse characteristic properties (stateless interactions, atomicity etc). However, contracts cannot ensure correctness of services if essential operational details are overlooked, as is usually the case. We introduce a modeling framework for the specification of Web Service architectures, in terms of formal operational semantics. Our approach aims to enable rigorous design of Web Services, based on the Behaviour Interaction Priorities (BIP) component framework and the principles of correctness-by-construction. We provide executable BIP models for SOAP-based and RESTful Web Services and for a service architecture with session replication. The architectures are treated as reusable design artifacts that may be composed, such that their characteristic properties are preserved.

show abstract

Section: B Soap-based Web Servicesmentioning

confidence: 99%

Correct-by-Construction Web Service Architecture

Stachtiari

Vesyropoulos

Kourouleas

et al. 2014

2014 IEEE 8th International Symposium on Service Oriented System Engineering

View full text Add to dashboard Cite

show abstract

“…A linguagem Estelle foi utilizada para a criação de outros métodos de modelagem, como o FSM4WSR [Li et al 2011], que foi criado a partir da mesma com o objetivo de gerar automaticamente a implementação do protocolo Web Service e construir um Web Service verificável em tempo de execução, chamado XServices SODLRuntime [Li et al 2011].…”

Section: Estelleunclassified

Aplicação do profile uml marte na modelagem de serviços de protocolos de comunicação de tempo real

Silva¹

View full text Add to dashboard Cite

Dedico este trabalho aos meus pais Ecio Tarcisio Alves da Silva e Welbia Maria Alves da Silva que sempre priorizaram a minha educação permitindo que eu tenha chegado até aqui. ResumoNo contexto de sistemas distribuídos e Internet, existe a aplicação de novas tecnologias e dispositivos para melhorar o suporte à mobilidade, segurança, qualidade de serviços e multicast. Existem diversas abordagens para a modelagem de sistemas distribuídos para a validação do comportamento. Entretanto, muitas delas não permitem representar requisitos necessários para um protocolo de comunicação e a arquitetura em que o mesmo está inserido. Além disso, as abordagens que possuem suporte para modelagem de requisitos de tempo real são de difícil leitura, interpretação e criação dos modelos por humanos. Desta forma, este trabalho tem como objetivo apresentar duas abordagens de modelagem de protocolos de comunicação, utilizando o profile MARTE/UML, que tenha suporte para os requisitos de tempo real e que possua uma leitura simplificada. No trabalho foram criadas duas abordagens de modelagem para protocolos de comunicação da arquitetura de Internet Entity Title Architecture (ETArch). Além disso, foi criado um analisador para a linguagem VSL, que é responsável por modelar as expressões de restrições de tempo real dos modelos da segunda abordagem. Para garantir a aplicabilidade do trabalho foi feito um questionário utilizando um modelo de aceitação de tecnologia, que apresentou um resultado positivo de aceitação por parte dos usuários. Em comparação com outras abordagens, as abordagens apresentadas no trabalho são vantajosas por permitirem tanto uma modelagem visual de alto nível quanto uma modelagem algébrica para representação das restrições, permitindo uma validação matemática.

show abstract

References

2014

Smart Grid

View full text Add to dashboard Cite

FSM4WSR: A Formal Model for Verifiable Web Service Runtime

Cited by 5 publications

References 20 publications

Correct-by-Construction Web Service Architecture

Correct-by-Construction Web Service Architecture

Aplicação do profile uml marte na modelagem de serviços de protocolos de comunicação de tempo real

References

Contact Info

Product

Resources

About