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.

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

Tool-Support for Software Development Processes

2010 ◽  
pp. 213-231 ◽  
Author(s):  
Marco Kuhrmann ◽  
Georg Kalus ◽  
Gerhard Chroust
Keyword(s):  
Software Development ◽  
Human Factors ◽  
Open Source ◽  
Development Process ◽  
Process Models ◽  
Tool Support ◽  
Development Projects ◽  
Crucial Step ◽  
Development Processes ◽  
The Many

Software development projects are complex. The more complex a project is, the higher are the requirements related to the software development process. The implementation of a process is a great challenge. This, in part, has to do with human factors (acceptance, etc.) as the benefits of a formal development process might not be obvious immediately and it may take a while until the process becomes the lifeblood of a team. A crucial step towards implementing, enacting and enforcing a process is to provide tool support for the many activities the process asks for. Tool support is necessary to guarantee efficiency in the project, to do the housekeeping and to minimize the “overhead” of the process. This chapter describes challenges and options for supporting process models by tools. Furthermore it describes concrete samples and shows how tool chains can be created with commercial tools as well as with open source tools.

FORMALIZING THE FUNCTIONAL MODEL WITHIN OBJECT-ORIENTED DESIGN

2000 ◽  
Vol 10 (01) ◽  
pp. 5-30 ◽  
Author(s):  
ENOCH Y. WANG ◽  
BETTY H. C. CHENG
Keyword(s):  
Development Process ◽  
Dynamic Models ◽  
Formal Semantics ◽  
Functional Model ◽  
Object Oriented ◽  
Flow Diagram ◽  
Object Oriented Design ◽  
Structured Design ◽  
Data Flow Diagram ◽  
Design Conflicts

The data flow diagram (DFD), originally introduced for structured design purposes, depicts the functions that a system or a module should provide. The objective of a software system is to implement specific functionalities. The function-oriented decomposition strategy of DFDs in the conventional design process for structured design conflicts with the spirit of object-orientation. So far, there is no object-oriented method that has successfully integrated DFDs into the object-oriented development process. In this paper, we demonstrate how DFDs can be modified in order to be integrated into object-oriented development. The Object Modeling Technique (OMT) is used as the context for object-oriented development. In addition, a set of formalization rules are proposed to provide formal semantics for DFDs in order to integrate the functional model with the other two models of OMT, namely, the object and dynamic models, in terms of the underlying formal semantics.

SUPPORTING FORMAL VERIFICATION OF DIMA MULTI-AGENTS MODELS: TOWARDS A FRAMEWORK BASED ON MAUDE MODEL CHECKING

2008 ◽  
Vol 18 (07) ◽  
pp. 853-875 ◽  
Author(s):  
NOURA BOUDIAF ◽  
FARID MOKHATI ◽  
MOURAD BADRI
Keyword(s):  
Model Checking ◽  
Development Process ◽  
Formal Semantics ◽  
Concurrent Systems ◽  
Model Checker ◽  
Rewriting Logic ◽  
Generic Framework ◽  
Systems Quality ◽  
Verification Techniques ◽  
Multi Agents

Model Checking based verification techniques represent an important issue in the field of concurrent systems quality assurance. The lack of formal semantics in the existing formalisms describing multi-agents models combined with multi-agents systems complexity are sources of several problems during their development process. The Maude language, based on rewriting logic, offers a rich notation supporting formal specification and implementation of concurrent systems. In addition to its modeling capacity, the Maude environment integrates a Model Checker based on Linear Temporal Logic (LTL) for distributed systems verification. In this paper, we present a formal and generic framework (DIMA-Maude) supporting formal description and verification of DIMA multi-agents models.

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.

A Framework for Situation-Aware Adaptation of Service-Based Applications

2012 ◽  
pp. 253-262
Author(s):  
Ioannis Patiniotiakis ◽  
Nikos Papageorgiou ◽  
Yiannis Verginadis ◽  
Dimitris Apostolou ◽  
Gregoris Mentzas
Keyword(s):  
Hierarchical Structures ◽  
Goal Model ◽  
Run Time ◽  
Action Networks ◽  
Application Adaptation ◽  
New Framework ◽  
Critical Situations

This work presents Situation Action Networks, a new framework for modeling Service-Based Application adaptation triggered by interesting or critical situations. The framework is based on a goal model able to track at run time the fulfillment of goals. Situation Action Networks are tree-like hierarchical structures which enable goal decomposition into sub-goals and primitive actions in a recursive fashion which provides goal seeking execution plans, as a sequence of primitive actions. Situation Action Networks are dynamic and can evolve at runtime by using their inherent planning capabilities.

Sign in / Sign up

Export Citation Format

Share Document