Sciweavers

1534 search results - page 87 / 307
» A conceptual framework for service modelling
Sort
View
WECWIS
2005
IEEE
145views ECommerce» more  WECWIS 2005»
15 years 11 months ago
Ambient e-Service Embracing Model
The notion of ambient e-services is defined in this paper to identify a new scope of mobile e-services. The notable features of ambient e-services are the exhilarated linkage based...
Yuanchu Hwang, Soe-Tsyr Yuan
SOCA
2008
IEEE
15 years 6 months ago
Log-based mining techniques applied to Web service composition reengineering
There is no doubt that SOA and BPM will continue to evolve dependently for the next ten years. Preparing common research infrastructures will require most important efforts of web ...
Walid Gaaloul, Karim Baïna, Claude Godart
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 7 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
IJCNN
2006
IEEE
16 years 6 days ago
How Not to Evaluate a Developmental System
—Computational models of development aim to describe the mechanisms that underlie the acquisition of new skills or the emergence of new capabilities. The strength of a model is j...
Frederick Shic, Brian Scassellati
FORTE
2007
15 years 7 months ago
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
João Abreu, Laura Bocchi, José Luiz ...