Computational Logic in Multi-Agent Systems
Mapping semantically enriched Formal Tropos to business process models
Proceedings of the 2009 ACM symposium on Applied Computing
Conceptual Modeling: Foundations and Applications
Requirements-Driven Collaborative Choreography Customization
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Satisfaction of Control Objectives by Control Processes
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Service level agreements: web services and security
ICWE'07 Proceedings of the 7th international conference on Web engineering
From business models to service-oriented design: a reference catalog approach
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Requirements-driven design and configuration management of business processes
BPM'07 Proceedings of the 5th international conference on Business process management
Live goals for adaptive service compositions
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Service research challenges and solutions for the future internet
Deriving business processes with service level agreements from early requirements
Journal of Systems and Software
Autonomous Agents and Multi-Agent Systems
Validation of user intentions in process models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Investigating Goal-Oriented Requirements Engineering for Business Processes
Journal of Database Management
Hi-index | 0.00 |
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The possibility to exploit business process definition and execution languages is particularly relevant for capturing the process-oriented nature of these applications. However, business processes by themselves are not enough to manage the changes and to allow an organization to continuously adapt its business model to the typical needs of distributed applications. To achieve this flexibility, it is of uttermost importance to link the business processes to the organizational strategy and to the business goals that motivate the need of these processes. In this paper we propose a framework for representing strategies and goals of an organization in terms of business requirements. The framework allows to describe how an organizational strategy is operationalized into activities and implemented by business processes. It also allows to represent the assumptions on the interactions between the different business applications. Finally, this framework allows for the usage of formal analysis techniques, in particular Model Checking, to pinpoint problems and to identify possible solutions in this domain.