Social trust: a cognitive approach
Trust and deception in virtual societies
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Design Methodology for Web Services and Business Processes
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
Experience with Goal-Scenario Coupling in Requirements Engineering
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
Specifying and Analysing Trust for Internet Applications
I3E '02 Proceedings of the IFIP Conference on Towards The Knowledge Society: E-Commerce, E-Business, E-Government
Principles of Trust for MAS: Cognitive Anatomy, Social Importance, and Quantification
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Specifying and analyzing early requirements in Tropos
Requirements Engineering
Designing Web Services with Tropos
ICWS '04 Proceedings of the IEEE International Conference on Web Services
A Framework for Integrating Business Processes and Business Requirements
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Cremona: an architecture and library for creation and monitoring of WS-agreents
Proceedings of the 2nd international conference on Service oriented computing
QoS Aggregation in Web Service Compositions
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Requirements engineering for trust management: model, methodology, and reasoning
International Journal of Information Security
From Trust to Dependability through Risk Analysis
ARES '07 Proceedings of the The Second International Conference on Availability, Reliability and Security
Information Technology for Development - IT Investments in Emerging Economies
A comprehensive design model for integrating business processes in web applications
International Journal of Web Engineering and Technology
Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Secure Workflow Development from Early Requirements Analysis
ECOWS '08 Proceedings of the 2008 Sixth European Conference on Web Services
Requirements of a mobile procurement framework for rural South Africa
Mobility '09 Proceedings of the 6th International Conference on Mobile Technology, Application & Systems
Trust management tools for internet applications
iTrust'03 Proceedings of the 1st international conference on Trust management
On automated generation of web service level agreements
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Requirements-driven design and configuration management of business processes
BPM'07 Proceedings of the 5th international conference on Business process management
An Intentional Approach to Service Engineering
IEEE Transactions on Services Computing
What’s in an agreement?an analysis and an extension of WS-Agreement
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
From stakeholder intentions to software agent implementations
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
An empirical evaluation of the i* framework in a model-based software generation environment
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
The role of agreements in IT management software
Architecting Dependable Systems III
Predicting qos in scheduled crowdsourcing
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
| Hi-index | 0.00 |
When designing a service-based business process employing loosely coupled services, one is not only interested in guaranteeing a certain flow of work, but also in how the work will be performed. This involves the consideration of non-functional properties which go from execution time and costs, to trust and security. Ideally, a designer would like to have guarantees over the behavior of the services involved in the process. These guarantees are the object of Service Level Agreements. We propose a methodology to design service-based business processes together with Service Level Agreements that guarantee a certain quality of execution, with particular emphasis on security. Starting from an early requirements analysis modeled in the Secure Tropos formalism, we provide a set of user-guided transformations and reasoning tools the final output of which is a set of processes in the form of Secure BPELs together with a set of Service Level Agreements to be signed by participating services. To show the potential impact of the approach, we illustrate the functioning of the methodology on a collaborative procurement scenario derived from the application domain of a research project.