scholarly journals On the Support of Activity Patterns in ProWAP: Case Studies, Formal Semantics, Tool Support

2008 ◽  
Vol 1 (1) ◽  
Author(s):  
Lucinéia Thom ◽  
Cirano Iochpe ◽  
Manfred Reichert ◽  
Barbara Weber ◽  
Droop Matthias ◽  
...  
Keyword(s):  
Case Studies ◽  
Activity Patterns ◽  
Formal Semantics ◽  
Tool Support

Nenhum resumo disponível

R-BPMN for abstract modeling of business process patterns

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Dae-Kyoo Kim ◽  
Yeasun K. Chung
Keyword(s):  
Case Studies ◽  
Business Process ◽  
Process Model ◽  
Process Development ◽  
Formal Semantics ◽  
Tool Support ◽  
Tool Development ◽  
Business Process Model ◽  
Content Type ◽  
Pattern Variability

PurposeThe authors use the extension mechanism provided by the Business Process Model and Notation (BPMN) to define roles, which allows roles to be fully aligned with the BPMN standard. The authors describe how a pattern can be defined in terms of roles and present the formal semantics of pattern realization and refinement to support systematic reuse of patterns in business process development.Design/methodology/approachIt is widely agreed that the use of business process patterns improves the efficiency and quality of business process development. However, few techniques are available to describe business process patterns at an appropriate level of abstraction to facilitate the reuse of patterns. To address this, this paper presents the role-based Business Process Model and Notation (R-BPMN), an extension of BPMN for abstract modeling of business process patterns based on a novel notion of role.FindingsThe authors apply R-BPMN in case studies for pattern realization and refinement and discuss tool support via an existing tool. The case studies demonstrate the practical benefits of R-BPMN in capturing pattern variability and facilitating pattern reuse.Practical implicationsThe findings imply a potential impact of R-BPMN on practical benefits when it is supported at the metamodel level in tool development.Originality/valueThis study addresses the need for abstract modeling of process patterns at the metamodel level, which facilitates the formalization of pattern variability and tool development to support various realizations of process patterns at the model level.

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support

2018 ◽  
pp. 83-101 ◽  
Author(s):  
Flavio Corradini ◽  
Chiara Muzi ◽  
Barbara Re ◽  
Lorenzo Rossi ◽  
Francesco Tiezzi
Keyword(s):  
Formal Semantics ◽  
Tool Support

scholarly journals Customized ViNeRS Method for Video Neuro-Advertising of Green Housing

2020 ◽  
Vol 17 (7) ◽  
pp. 2244 ◽  
Author(s):  
Arturas Kaklauskas ◽  
Edmundas Kazimieras Zavadskas ◽  
Bjoern Schuller ◽  
Natalija Lepkova ◽  
Gintautas Dzemyda ◽  
...  
Keyword(s):  
Individual Differences ◽  
Case Studies ◽  
Multiple Criteria ◽  
Tool Support ◽  
Affective Behavior ◽  
Circumplex Model ◽  
Practical Application ◽  
Green Housing ◽  
Residential Unit ◽  
Decision Tables

The implementation of advertising for green housing usually involves consideration of individual differences among potential buyers, their desires for residential unit features as well as location impacts on a selected property. Much more rarely, there is consideration of the arousal and valence, affective behavior, emotional, and physiological states of possible buyers of green housing (AVABEPS) while they review the advertising. Yet, no integrated consideration of all these factors has been undertaken to date. The objective of this study was to consider, in an integrated manner, the AVABEPS, individual differences, and location impacts on property and desired residential unit features. During this research, the applications for the above data involved neuromarketing and multicriteria examination of video advertisements for diverse client segments by applying neuro decision tables. All of this can be performed by employing the method for planning and analyzing and by multiple criteria and customized video neuro-advertising green-housing variants (hereafter abbreviated as the ViNeRS Method), which the authors of this article have developed and present herein. The developed ViNeRS Method permits a compilation of as many as millions of alternative advertising variants. During the time of the ViNeRS project, we accumulated more than 350 million depersonalized AVABEPS data. The strong and average correlations determined in this research (over 35,000) and data examination by IBM SPSS tool support demonstrate the need to use AVABEPS in neuromarketing and neuro decision tables. The obtained dependencies constituted the basis for calculating and graphically submitting the ViNeRS circumplex model of affect, which the authors of this article developed. This model is similar to Russell’s well-known earlier circumplex model of affect. Real case studies with their related contextual conditions presented in this manuscript show a practical application of the ViNeRS Method.

Tool Support for Model-Driven Development of Web Applications

2009 ◽  
pp. 331-344
Author(s):  
Jaime Gomez ◽  
Alejandro Bia ◽  
Antonio Parraga
Keyword(s):  
Rapid Prototyping ◽  
Case Studies ◽  
Web Applications ◽  
Lessons Learned ◽  
Tool Support ◽  
Natural Consequence ◽  
Model Driven ◽  
High Level ◽  
Model Driven Approach ◽  
Industrial Context

This paper describes the engineering foundations of VisualWADE, a CASE tool to automate the production of Web applications. VisualWADE follows a model-driven approach focusing on requirements analysis, high level design, and rapid prototyping. In this way, an application evolves smoothly from the first prototype to the final product, and its maintenance is a natural consequence of development. The paper also discusses the lessons learned in the development of the tool and its application to several case studies in the industrial context.

A demonstration-based account of (pluractional) ideophones

2016 ◽  
Vol 26 ◽  
pp. 664 ◽  
Author(s):  
Robert Henderson
Keyword(s):  
Case Studies ◽  
Recent Work ◽  
Formal Semantics ◽  
Sign Languages ◽  
The Difference ◽  
Compositional Properties

This paper develops a novel formal semantics of ideophones that can account for their meaning and compositional properties. The proposal extends recent work on iconicity in sign languages in Davidson (2015), whose demonstration- based framework provides a formal foundation for the semantics of ideophones that captures the difference between descriptive meaning and depictive meaning, the kind of meaning ideophones traffic in. After providing a demonstration-based account of the basic ideophone construction in the Mayan language Tseltal, the paper then shows how the demonstration-based account can be used to analyze pluractionality in the ideophone domain. In particular, through case studies on Tseltal and Upper Necaxa Totonanc (Totonacan), I show that there are two previously unrecognized types of ideophonic pluractionality, and that their properties support the demonstration-based account.

scholarly journals RationalGRL: A framework for argumentation and goal modeling

2020 ◽  
pp. 1-55
Author(s):  
Marc van Zee ◽  
Floris Bex ◽  
Sepideh Ghanavati
Keyword(s):  
Development Process ◽  
Practical Reasoning ◽  
Formal Semantics ◽  
Tool Support ◽  
Goal Modeling ◽  
Goal Model ◽  
Requirements Modeling ◽  
Computational Argumentation ◽  
Goal Models ◽  
New Framework

Goal-oriented requirements modeling approaches aim to capture the intentions of the stakeholders involved in the development of an information system as goals and tasks. The process of constructing such goal models usually involves discussions between a requirements engineer and a group of stakeholders. Not all the arguments in such discussions can be captured as goals or tasks: e.g., the discussion whether to accept or reject a certain goal and the rationale for acceptance or rejection cannot be captured in goal models. In this paper, we apply techniques from computational argumentation to a goal modeling approach by using a coding analysis in which stakeholders discuss requirements for a Traffic Simulator. We combine a simplified version of a traditional goal model, the Goal-oriented Requirements Language (GRL), with ideas from argumentation on schemes for practical reasoning into a new framework (RationalGRL). RationalGRL provides a formal semantics and tool support to capture the discussions and outcomes of the argumentation process that leads to a goal model. We also define the RationalGRL development process to create a RationalGRL model.

A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies

2012 ◽  
Vol 54 (6) ◽  
pp. 569-590 ◽  
Author(s):  
Shiva Nejati ◽  
Mehrdad Sabetzadeh ◽  
Davide Falessi ◽  
Lionel Briand ◽  
Thierry Coq
Keyword(s):  
Case Studies ◽  
Tool Support ◽  
Safety Certification
Sign in / Sign up

Export Citation Format

Share Document