Filters








10,268 Hits in 3.5 sec

Exchanging Policies between Web Service Entities using Rule Languages

Nima Kaviani, Dragan Gasevic, Marek Hatala, Gerd Wagner, Ty Mey Eap
2007 2007 IEEE Congress on Services (Services 2007)  
Combination of these two properties makes Web rule languages an appropriate medium to make a hybrid model of representing both contexts and rules of a policy-aware system, such as a web service.  ...  We show how the concepts of the KAoS and Rei policy languages can be transformed to R2ML and then from R2ML to the other policy languages.  ...  Each R2ML derivation rule is also equivalent to one policy rule. Therefore, converting a policy from Rei to KAoS or R2ML may result in having more than one KAoS policy or R2ML rule.  ... 
doi:10.1109/services.2007.31 dblp:conf/IEEEscc/KavianiGHWE07 fatcat:jlycsbtomras5j2ijuxdchr7sm

A Survey of Policy-Based Management Approaches for Service Oriented Systems

Tan Phan, Jun Han, Jean-Guy Schneider, Tim Ebringer, Tony Rogers
2008 Australian Software Engineering Conference : Proceedings  
Policy based management in Service Oriented Architecture (SOA) allows organizations to apply rules and regulations on their business processes.  ...  In this paper, we evaluate five popular policy frameworks which are IETF, Ponder, KAoS, Rei and WS-Policy against a number of general and SOA-specific criteria to identify what features of these existing  ...  It is not clear that support for policy derivation from application/service composition to individual service policy and vice versa can be easily accommodated in IETF because IETF's models are based on  ... 
doi:10.1109/aswec.2008.4483228 fatcat:7saiozn4araplbqvkmta46lbwi

Web Rule Languages to Carry Policies

Nima Kaviani, Dragan Gasevic, Marek Hatala, Gerd Wagner
2007 Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07)  
We also show how R2ML elements can model the concepts and elements of different policy languages and assist systems with diverse policies with their interactions.  ...  The Logic of Transformation Providing transformations from Rei and KAoS to R2ML and then from R2ML to KAoS or Rei, as we mentioned before, is not just a straightforward keyword matching using lookup tables  ...  We shorten the discussion at this point, but note that we have implemented transformations from Rei and KAoS to R2ML and also from R2ML to Rei and KAoS using XSLT which fully follow mapping rules discussed  ... 
doi:10.1109/policy.2007.49 dblp:conf/policy/KavianiGHW07 fatcat:b6iuewamc5d4ncfd7ojfpb2zpu

A Thematic Study of Requirements Modeling and Analysis for Self-Adaptive Systems [article]

Zhuoqun Yang, Zhi Li, Zhi Jin
2017 arXiv   pre-print
The results are derived by synthesizing the extracted data with statistical methods.  ...  This study aims to investigate the research themes based on the utilized modeling methods and RE activities. We conduct a thematic study in the systematic literature review.  ...  T2.1 Support for effective design decisions The first basic theme concerns how to derive architectural models from requirements models for SASs. Pimentel et al.  ... 
arXiv:1704.00420v1 fatcat:373j2gpy4fbnxgm63wlqyijxym

Because Effort Matters!

Frank Zickert, Roman Beck
2010 Business & Information Systems Engineering  
We present a mapping model that integrates function point analyses into RE and thereby supports assessing project effort from requirements.  ...  Agents and objects are used when the operation model is prepared. In this last step, specifications are derived from requirements.  ...  Fig. 4 summarizes how MMAPE counts FP from KAOS models. The steps are more thoroughly explained in the following.  ... 
doi:10.1007/s12599-010-0103-y fatcat:hkpikafwqzhyfkeo7cncbcl4gi

Developing Dependability Requirements Engineering for Secure and Safe Information Systems with Knowledge Acquisition for Automated Specification

Mohammed Abu Lamddi
2017 Journal of Software Engineering and Applications  
For validation we chose the Systems-Theoretic Accident Model and Processes (STAMP) approach and its modelling language, namely System-Theoretic Process Analysis for safety (STPA), on the safety side and  ...  We apply our conceptual framework to integration between security and safety by creating a SaS (Safety and Security) domain model.  ...  Avoid, Maintain, and Achieve) were used to create obstacle models, and derive milestone from it.  ... 
doi:10.4236/jsea.2017.102013 fatcat:wo34bhez4jc3blgiomnaz5wh3i

Deriving event-based transition systems from goal-oriented requirements models

Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel
2008 Automated Software Engineering : An International Journal  
The derived model can be used for the formal analysis and animation of KAOS operation models in LTSA.  ...  The translation involves moving from a declarative, state-based, timed, synchronous formalism typical of requirements modelling languages to an operational, event-based, untimed, asynchronous one typical  ...  For example, the LTS model for the mine pump controller derived from the KAOS operation model in Figure 3 has 65 states, whereas the LTS model derived from an untimed FSP model that had been previously  ... 
doi:10.1007/s10515-008-0027-7 fatcat:l55o3agccnelref3fp4okca3ny

Assessing Human-Agent Teams for Future Space Missions

Nanja Smets, Jeffrey M Bradshaw, Jurriaan van Diggelen, Catholijn Jonker, Mark A. Neerincx, Lennard J.V. de Rijk, Pieter A.M. Senster, Maarten Sierhuis, Ot ten Thije
2010 IEEE Intelligent Systems  
Brahms let us model the agent's individual behavior, whereas KAoS provides the regulation from above.  ...  KAoS HART Framework The KAoS Human-Agent-Robot Teamwork (HART) services framework has been adapted to provide the means for dynamic regulation on various agent, robotic, Web services, Grid services, and  ... 
doi:10.1109/mis.2010.105 fatcat:cuigdbeizfetdbizt5367fvqea

Analysis of multi-agent systems based on KAOS modeling

Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
We utilize KAOS, one of the goal-oriented analysis methodologies, as a requirement analysis method, and propose a model translation into an analysis model for simple and effective development of multi-agent  ...  This activity is derived from the KAOS capability of modeling non-functional requirements.  ...  Table 2 lists the attributes of the preliminary role model and reference elements of the KAOS model. Table 2 , except Safety, can be formally derived from constructed KAOS models.  ... 
doi:10.1145/1134285.1134454 dblp:conf/icse/NakagawaKH06 fatcat:scfx6tgnb5g6pmloqvhbph2r4a

Page 753 of The Journal of the Operational Research Society Vol. 53, Issue 7 [page]

2002 The Journal of the Operational Research Society  
An M/M/S/V\y queue with exhaustive service has been analysed by Levy and Yechiali'* and Kao and Narayanan.'”  ...  Kao and Narayanan'” use a matrix geometric approach for modelling the system.  ... 

Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment [chapter]

Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers, Austin Tate, Jeff Dalton
2004 Lecture Notes in Computer Science  
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment.  ...  The advanced reasoning mechanisms of KAoS are based on the JTP inference engine and enable the analysis of classes and instances of processes from a policy perspective.  ...  Meaning is conveyed based on a shared understanding derived from human consensus.  ... 
doi:10.1007/978-3-540-30475-3_30 fatcat:sq4xld7ucvfpzknbpsi4eirx5i

Combining Two Modelling Approaches: GQM and KAOS in an Open Source Project [chapter]

Nursultan Askarbekuly, Andrey Sadovykh, Manuel Mazzara
2020 IFIP Advances in Information and Communication Technology  
KAOS goal modelling is a software engineering approach that allows to identify high level goals of an organisation, refine and expand them into lower-level more concrete goals and assign them to specific  ...  The two approaches can be combined, such that the goal modelling is used to derive specific goals rooted in the organisational context, policies and strategies of an organisation.  ...  This comes from the notion of behavioural and soft goals used in KAOS.  ... 
doi:10.1007/978-3-030-47240-5_11 fatcat:p7abpyv46vemvb5mjcpvmb66ve

KAoS policy management for semantic Web services

A. Uszok, J.M. Bradshaw, M. Johnson, R. Jeffers, A. Tate, J. Dalton, S. Aitken
2004 IEEE Intelligent Systems  
KAoS services and tools allow for the specification, management, analyzes, disclosure and enforcement of policies represented in OWL.  ...  We discuss three current Semantic Web Services applications as examples of the kinds of roles that a policy management framework can play: as an authorization service in grid computing environments, as  ...  Meaning is conveyed based on a shared understanding derived from human consensus.  ... 
doi:10.1109/mis.2004.31 fatcat:bu74yaixjfacllw7nn2vekkasa

Policy Management across Multiple Platforms and Application Domains

Matthew Johnson, Jeffrey M. Bradshaw, Hyuckchul Jung, Niranjan Suri, Marco Carvalho
2008 2008 IEEE Workshop on Policies for Distributed Systems and Networks  
In this paper we discuss the application of the KAoS policy services framework to human-robot teamwork-an application that involves a variety of application domains and enforcement at different levels  ...  of control; from low level network resource control to high level organizational constraints and coordination management.  ...  KAoS Overview The KAoS policy services framework [5] has been adapted to run on a variety of agent, robotic, Web services, Grid services, and traditional distributed computing platforms (e.g., [6] [  ... 
doi:10.1109/policy.2008.35 dblp:conf/policy/JohnsonBJSC08 fatcat:yfx3ggb45fclzplx73a5spv2ki

A Model-Based and Goal-Oriented Approach for the Conceptual Design of Smart Grid Services

Miguel Angel Orellana, Jose Reinaldo Silva, Eduardo L. Pellini
2021 Machines  
A case study is presented, wherein a small energy service system in an isolated community in the Amazon rain forest was designed.  ...  We suggest coupling the approach based on goal-oriented requirements with model-based engineering to support such a model.  ...  Thus, we can construct formal LTL specifications from KAOS requirement models.  ... 
doi:10.3390/machines9120370 fatcat:lpntbnulrbagvbjs4yembdt6re
« Previous Showing results 1 — 15 out of 10,268 results