Sciweavers

59 search results - page 1 / 12
» Formal Identification of Right-Grained Services for Service-...
Sort
View
WISE
2009
Springer
14 years 1 months ago
Formal Identification of Right-Grained Services for Service-Oriented Modeling
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
Yukyong Kim, Kyung-Goo Doh
JSW
2007
119views more  JSW 2007»
13 years 4 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
13 years 5 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
ERCIM
2007
73views more  ERCIM 2007»
13 years 4 months ago
Formal Modelling and Verification in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...
SE
2010
13 years 5 months ago
Model-Driven Software Migration
: In this paper we propose model-driven techniques to migrate legacy systems into Service-Oriented Architectures (SOA). The proposal explores how querying and transformation techni...
Andreas Fuhr, Tassilo Horn, Andreas Winter