Sciweavers

66 search results - page 10 / 14
» Semantic wiki aided business process specification
Sort
View
JLP
2008
121views more  JLP 2008»
14 years 10 months ago
A process algebraic view of shared dataspace coordination
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
Nadia Busi, Gianluigi Zavattaro
103
Voted
OTM
2005
Springer
15 years 5 months ago
Semantics of Agent-Based Service Delegation and Alignment
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
Herman Balsters, G. B. Huitema, Nicolae B. Szirbik
95
Voted
SEMCO
2007
IEEE
15 years 6 months ago
A Semantic Matching Algorithm for Discovery in UDDI
One of the key objectives of web service technology is to construct processes that enable service providers to inter-connect with their clients. The industry has developed the UDD...
Unai Aguilera, Joseba Abaitua, Josuka Diaz, David ...
94
Voted
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 1 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
CCS
2006
ACM
15 years 3 months ago
RoleMiner: mining roles using subset enumeration
Role engineering, the task of defining roles and associating permissions to them, is essential to realize the full benefits of the role-based access control paradigm. Essentially,...
Jaideep Vaidya, Vijayalakshmi Atluri, Janice Warne...