Results 1 -
4 of
4
A goal-based modeling approach to develop requirements for adaptive systems with environmental uncertainty
, 2009
"... Abstract. Dynamically adaptive systems (DASs) are intended to monitor the execution environment and then dynamically adapt their behavior in response to changing environmental conditions. The uncertainty of the execution environment is a major motivation for dynamic adaptation; it is impossible to k ..."
Abstract
-
Cited by 47 (12 self)
- Add to MetaCart
(Show Context)
Abstract. Dynamically adaptive systems (DASs) are intended to monitor the execution environment and then dynamically adapt their behavior in response to changing environmental conditions. The uncertainty of the execution environment is a major motivation for dynamic adaptation; it is impossible to know at development time all of the possible combinations of environmental conditions that will be encountered. To date, the work performed in requirements engineering for a DAS includes requirements monitoring and reasoning about the correctness of adaptations, where the DAS requirements are assumed to exist. This paper introduces a goal-based modeling approach to develop the requirements for a DAS, while explicitly factoring uncertainty into the process and resulting requirements. We introduce a variation of threat modeling to identify sources of uncertainty and demonstrate how the RELAX specification language can be used to specify more flexible requirements within a goal model to handle the uncertainty. 1
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
- INTERNATIONAL SYMPOSIUM ON FORMAL METHODS FOR COMPONENTS AND OBJECTS (FMCO'08), REVISED PAPERS, SOPHIA ANTIPOLIS, VOL. 5751 OF LNCS
, 2008
"... 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 Segregation of Duties (SoD) or privacy protection policies. In our framework, control/data flow is modeled using the exogeno ..."
Abstract
-
Cited by 9 (6 self)
- Add to MetaCart
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 Segregation of Duties (SoD) or privacy protection policies. In our framework, control/data flow is modeled using the exogenous coordination language Reo. Reo process models are designed from scratch or (semi-)automatically obtained from BPMN, UML or WS-BPEL specifications. Constraint automata (CA), a semantic model for Reo, provide state-based representations of pro-cess workflows and enable their verification by means of model checking technology. Various extensions of CA make it possible to analyze time-, resource- and Quality-of-Service (QoS) process models.
Ontology-Based Composition and Matching for Dynamic Service Coordination
- In Proceedings of the CAiSE 2011 International Workshops
, 2011
"... Abstract. Service engineering needs to address integration problems allowing services to collaborate and coordinate. The need to address dynamic automated changes- caused by on-demand environments and changing requirements- can be addressed through service coordination based on ontology-based compos ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
(Show Context)
Abstract. Service engineering needs to address integration problems allowing services to collaborate and coordinate. The need to address dynamic automated changes- caused by on-demand environments and changing requirements- can be addressed through service coordination based on ontology-based composition and matching techniques. Our so-lution to composition and matching utilises a service coordination space that acts as a passive infrastructure for collaboration. We discuss the information models and the coordination principles of such a collabora-tion environment in terms of an ontology and its underlying description logics. We provide ontology-based solutions for structural composition of descriptions and matching between requested and provided services.
and
"... “Compliance ” is a multi-faceted concept that encompasses the capability of an organization to monitor and meet impinging obligations. It has recently become an area of significant concern to many major multi-national organizations. The proliferation of service-oriented systems rely on rich behavior ..."
Abstract
- Add to MetaCart
(Show Context)
“Compliance ” is a multi-faceted concept that encompasses the capability of an organization to monitor and meet impinging obligations. It has recently become an area of significant concern to many major multi-national organizations. The proliferation of service-oriented systems rely on rich behavioral descriptions of functionality to facilitate seamless application composition and interoperation. These descriptions are subject to compliance with protocols (behavioral encoding) or business rules (state-based encoding). In addition, complete life-cycle support for dealing with compliance, which should cater for the specification, checking and change of policies and processes, is of crucial importance. In this article we explore the depth of generic compliance programs and provide an overview and agenda for “Service Compliance”, outlining some of the research challenges in this rapidly emerging area of research.
