A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
Exchanging Policies between Web Service Entities using Rule Languages
2007
2007 IEEE Congress on Services (Services 2007)
Preserved Fulltext
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
2008
Australian Software Engineering Conference : Proceedings
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2007
Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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!
2010
Business & Information Systems Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2017
Journal of Software Engineering and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
Automated Software Engineering : An International Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
IEEE Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceeding of the 28th international conference on Software engineering - ICSE '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2020
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2004
IEEE Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 IEEE Workshop on Policies for Distributed Systems and Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2021
Machines
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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