Biocultural Evolution, Play, and Theological Aesthetics
Abstract: This essay argues that a renewed focus on the importance of embodied social play for people of all ages, but especially for children and teenagers, is an essential element of forming an interdisciplinary response to the mental health crises facing children and young people today.
Megan Loumagne Ulishney
wiley +1 more source
A formal theory of conceptual modeling universals [PDF]
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate ...
Guizzardi, Giancarlo +2 more
core +3 more sources
Abstract Over the past decades, Unmanned Aerial Vehicles (UAVs) have increasingly been used in a wide variety of missions that range from surveillance to delivery. Unlike aircraft that always carry goods and passengers from an airport to another, UAVs do not systematically implement the same type of mission.
Jean‐Charles Chaudemar +3 more
wiley +1 more source
Specifying features in terms of domain models: MuDForM method definition and case study
This paper presents methodical support for using domain models as a language to specify features, such that it is an intrinsic part of our domain‐oriented modeling method that also covers the creation of domain models. It also presents the validation of the method in an industrial case.
Robert Deckers, Patricia Lago
wiley +1 more source
XRound : A reversible template language and its application in model-based security analysis [PDF]
Successful analysis of the models used in Model-Driven Development requires the ability to synthesise the results of analysis and automatically integrate these results with the models themselves.
Balogh +10 more
core +1 more source
Towards a scope management of non-functional requirements in requirements engineering [PDF]
Getting business stakeholders’ goals formulated clearly and project scope defined realistically increases the chance of success for any application development process.
Daneva, M., Kassab, M., Ormandjieva, O.
core +2 more sources
Verifying service continuity in a satellite reconfiguration procedure: application to a satellite [PDF]
The paper discusses the use of the TURTLE UML profile to model and verify service continuity during dynamic reconfiguration of embedded software, and space-based telecommunication software in particular. TURTLE extends UML class diagrams with composition
Apvrille, Ludovic +3 more
core +1 more source
A participatory modeling method for multi-points of view description of a system from scientist's perceptions : application in seed systems modeling in Mali and Chile [PDF]
This paper presents a participatory modeling for multi-points of view description of a system from scientists' knowledge. The method is applied in the development of a generic model for agro-biodiversity dynamics in developing countries with a focus on ...
Bazile, Didier +4 more
core
Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach [PDF]
Within MDA models are usually created in the UML. However, one may prefer to\ud use different notations such as Petri-nets, for example, for modelling concurrency\ud and synchronization properties of systems. This paper claims that techniques that\ud are
Aksit, M., Roubtsova, E.E.
core +1 more source
Towards Model-Driven Development of Access Control Policies for Web Applications [PDF]
We introduce a UML-based notation for graphically modeling systems’ security aspects in a simple and intuitive way and a model-driven process that transforms graphical specifications of access control policies in XACML.
Bush, Marianne +4 more
core +1 more source

