812,416 Hits in 5.4 sec

A combined formal model for relational context-dependent roles

Thomas Kühn, Stephan Böhme, Sebastian Götz, Uwe Aßmann
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering  
Researchers focused either on relational roles or context-dependent roles rather then combining both natures.  ...  Role-based modeling has been investigated for over 35 years as a promising paradigm to model complex, dynamic systems.  ...  Acknowledgments This work is funded by the German Research Foundation (DFG) within the Research Training Group "Role-based Software Infrastructures for continuous-context-sensitive Systems" (GRK 1907)  ... 
doi:10.1145/2814251.2814255 fatcat:zry2g7x7hfbejpjk7okjh53dvy

FRaMED: full-fledge role modeling editor (tool demo)

Thomas Kühn, Kay Bierzynski, Sebastian Richly, Uwe Aßmann
2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering - SLE 2016  
First, most modeling languages focused either on the behavioral, relational or context-dependent nature of roles rather than combining them.  ...  To overcome this deficiency, we introduce the Full-fledged Role Modeling Editor (FRaMED), a graphical modeling editor embracing all natures of roles and modeling constraints featuring generators for a  ...  Acknowledgments This work is funded by the German Research Foundation (DFG) within the Research Training Group "Role-based Software Infrastructures for continuous-context-sensitive Systems" (GRK 1907).  ... 
doi:10.1145/2997364.2997371 fatcat:raxo5pzrsncynhf7sfilhykxuq

Modeling the Role of Context Dependency in the Recognition and Manifestation of Entrepreneurial Opportunity [article]

Murad A. Mithani, Tomas Veloz, Liane Gabora
2019 arXiv   pre-print
The paper uses the SCOP theory of concepts to model the role of environmental context on three levels of entrepreneurial opportunity: idea generation, idea development, and entrepreneurial decision.  ...  The role of contextual-fit in the generation and development of ideas is modeled as the collapse of their superposition state into one of the potential states that composes this superposition.  ...  We thank Diederik Aerts for comments on the manuscript.  ... 
arXiv:1309.4744v4 fatcat:rz7bfatzqbbzxpef3r7zcrtw2i

Towards Integrated Modelling of Dynamic Access Control with UML and Event-B

Inna Vistbakka, Elena Troubitsyna
2018 Electronic Proceedings in Theoretical Computer Science  
In this paper, we present a work-in-progress on combining graphical and formal modelling to specify and verify dynamic access control.  ...  However, to ensure dependability of a system, it is often necessary to model and verify state-dependent access rights.  ...  For example, in a security model, a role is used to indicate the job-related access rights to the data.  ... 
doi:10.4204/eptcs.271.8 fatcat:n6ikqk2igfg73gfi25z7yfhuby

Formal Models for Context Aware Computing

Pooja Mohan, Manpreet Singh
2013 International Journal of Computer Applications Technology and Research  
In this paper we seek to develop a systematic understanding of context-aware computing by constructing a formal model and notation for expressing context-aware computations.  ...  This discussion is followed by a description and comparison of current context modeling and reasoning techniques.  ...  The combined modeling approach aims to enable efficient management of context data and allow for widely applicable context formalism.  ... 
doi:10.7753/ijcatr0201.1011 fatcat:ev5pu7eubvgndontnijtpmymgq

Trust Management Model and Architecture for Context-Aware Service Platforms [chapter]

Ricardo Neisse, Maarten Wegdam, Marten van Sinderen, Gabriele Lenzini
2007 Lecture Notes in Computer Science  
Our model addresses a set of trust aspects that is relevant for our target context-aware service platform and is extensible with other trust aspects.  ...  In this paper we identify and analyze the trust relationships in a context-aware service platform and propose an integrated trust management model that supports quantification of trust for different trust  ...  We identify the dependencies between these trust values and develop a formalism to combine these different trust aspects in order to evaluate the resulting trust users have in a context-aware service.  ... 
doi:10.1007/978-3-540-76843-2_47 fatcat:mpuhq52qxvad5mjhzp5y2ywfdu

Automated analysis of security-design models

David Basin, Manuel Clavel, Jürgen Doser, Marina Egea
2009 Information and Software Technology  
We have previously proposed SecureUML, an expressive UML-based language for constructing security-design models, which are models that combine design specifications for distributed systems with specifications  ...  Here we show how to automate the analysis of such models in a semantically precise and meaningful way.  ...  A modeling language provides a vocabulary (concepts and relations) for building models, as well as a notation to graphically depict them as diagrams.  ... 
doi:10.1016/j.infsof.2008.05.011 fatcat:bb2pjbvnuvgjzapuu2tegw4r2a

Understanding social signals in multi-party conversations: Automatic recognition of socio-emotional roles in the AMI meeting corpus

Alessandro Vinciarelli, Fabio Valente, Sree Harsha Yella, Ashtosh Sapru
2011 2011 IEEE International Conference on Systems, Man, and Cybernetics  
The last contribution consists in investigating the statistical dependency between the formal and the social role that participants have; integrating the information related to the formal role in the recognition  ...  This model is then extended to explicitly account for dependencies (or influence) between speakers achieving an accuracy of 65%.  ...  The authors would like to thank the University of Edinburgh for providing the social role annotations.  ... 
doi:10.1109/icsmc.2011.6083694 dblp:conf/smc/VinciarelliVYS11 fatcat:rggdcrnfx5hedmenw3ebck7abu

Special section on dependence issues in knowledge-based systems

Paul-André Monney, Moses W. Chan, Enrique H. Ruspini
2011 International Journal of Approximate Reasoning  
The theory of belief functions is specially suited to the representation of imprecise knowledge both for its ability to model ignorance and for its formal relations to other approximate-reasoning formalisms  ...  the role of dependence between informational bodies in their aggregation into a fused result.  ...  formal foundations to assess the relative applicability of various combination schemes on the basis of available knowledge about evidential dependence.  ... 
doi:10.1016/j.ijar.2011.01.006 fatcat:ylxqh7dy5vgpjpntc2felncuoi

Methods of Processing Context in Intelligent Systems

Iryna Zavuschak
2018 International Journal of Modern Education and Computer Science  
In the article existent definitions of context for a system with a single decision making agent were discussed. Available formal models for context data representation and processing were compared.  ...  The approaches for different forms of reasoning within context were analyzed. Also the application of context awareness in systems with situation awareness is discussed.  ...  In addition to constructing a context ontology for context-sensitive decision-making tasks, it is important to identify and formalize contextual dependencies in the formal model.  ... 
doi:10.5815/ijmecs.2018.03.01 fatcat:63rmlzlrtbgplpay4uvt2fgtyu

Sociology Paradigms for Dynamic Integration of Devices into a Context-Aware System

Rustam Kamberov, Vitor Santos, Carlos Granell
2017 Journal of Information Systems Engineering & Management  
In the present paper, we discuss the need for a model that will be able to represent a formal structure of a context-aware system in a device.  ...  The major contribution of this work is to identify deficiencies of the existing model which is using the notions from sociology such as Role, Ownership and Responsibility.  ...  The relation between a device, role and context is called Ownership and formally expressed as Owner (X,R,Ca) , where X is a device, R is a role performed by the device, and Ca is context in which the  ... 
doi:10.20897/jisem.201702 fatcat:wcykvcv2qzaeliityezsw2trde

A Socially Inspired Reputation Model [chapter]

Nicola Mezzetti
2004 Lecture Notes in Computer Science  
In this paper we refine the trust foundations of [16] then we extend it with a model and metric of reputation inspired by the phenomenon of reputation in human societies so as to enable service consumers  ...  In recent years we have observed a huge evolution of services deployed over the Internet, in particular by the World Wide Web; the development of Web Services has enabled Business-to-Business (B2B) relationships  ...  Acknowledgements The author thanks Licia Capra, David Hales, Vance Maverick, Lucian Wischik and the anonymous reviewers for the useful discussions and comments.  ... 
doi:10.1007/978-3-540-25980-0_16 fatcat:yhmgsjauf5gllcnmua5fepaevi

A formal security design approach for information exchange in organisations [chapter]

R. Holbein, S. Teufel, K. Bauknecht
1996 IFIP Advances in Information and Communication Technology  
We introduce transaction based business process models (BPM) and utilise these models for a formal transformation to "need-to-know" authorisations.  ...  This paper introduces a formal security design approach for information exchange in organisations.  ...  A combination of an organisational role and a functional context is necessary to represent the agents' task related context within business transactions, i.e. who and what purpose.  ... 
doi:10.1007/978-0-387-34932-9_17 fatcat:kwukfg62dbbm5b4z4mj3xkd3om

A Role-Based Approach towards Modular Language Engineering [chapter]

Christian Wende, Nils Thieme, Steffen Zschaler
2010 Lecture Notes in Computer Science  
We discuss how a role-based extension for abstract syntax metamodelling supports the aspectual modularisation of language semantics and also integrates with concrete syntax specifications to build self-contained  ...  In Sect. 4, we discuss our findings from applying the approach to a modularisation of OCL. Finally, Sect. 5 discusses related work and Sect. 6 concludes the paper.  ...  Role-based language components can be combined with existing semantics formalism that work for metamodels. An example is given in Fig. 1c) .  ... 
doi:10.1007/978-3-642-12107-4_19 fatcat:vbv43yqalbdpvjvatycz5dmddu

Understanding the Semantic Web through Descriptions and Situations [chapter]

Aldo Gangemi, Peter Mika
2003 Lecture Notes in Computer Science  
to two cases: an ontology for communication situations and roles, and an ontology for peer-to-peer communication.  ...  The reified contexts represented in D&S have a rich structure, and are a middleware between full-fledged formal contexts and theories, and the often poor vocabularies implemented in Web ontologies. . .  ...  if ontologies will become a black box similarly to content today, information on the broader context of an ontology may be used to help answer questions of relevancy and legitimacy and thus might be a  ... 
doi:10.1007/978-3-540-39964-3_44 fatcat:dyb3ka4vg5bm3kf5vfgqrmsizy
« Previous Showing results 1 — 15 out of 812,416 results