Systematic derivation of state machines from communication-oriented business process models

@article{Espaa2011SystematicDO,
  title={Systematic derivation of state machines from communication-oriented business process models},
  author={Sergio Espa{\~n}a and Marcela Ruiz and {\'O}scar Pastor and Arturo Gonz{\'a}lez},
  journal={2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE},
  year={2011},
  pages={1-12}
}
Model-driven development (MDD) is a promising paradigm for enterprise information systems. However, an open research challenge is to successfully integrate requirements practices into the MDD software lifecycle, and an open industrial challenge is to provide proper tool support for the complete software lifecycle. We propose to address these challenges by integrating Communication Analysis, (a communication-oriented requirements engineering method [1]) and the OO-Method (a model-driven object… Expand
Systematic Derivation of Class Diagrams from Communication-Oriented Business Process Models
TLDR
A systematic technique for deriving class diagrams from business process models is proposed and, although there is room for improvement, the technique is feasible and it does facilitate the creation of the class diagram. Expand
From Requirements to Code - A Full Model-Driven Development Perspective
TLDR
A full MDD approach that covers from requirements engineering to automatic software code generation, and a systematic technique for deriving conceptual models from from business process and requirements models is proposed. Expand
Integration of Communication Analysis and the OO-Method: Rules for the manual derivation of the Conceptual Model
TLDR
A systematic technique for deriving OO-Method Conceptual Models from business process and requirements models is proposed and it is shown that using the OLIVANOVA framework, software source code can be generated automatically. Expand
Business process-based requirements specification and object-oriented conceptual modelling of information systems
TLDR
The methodological approach mainly aims to help system analysts to elicit system requirements from business process models, adequately specify system requirements and derive the object-oriented conceptual schema of an information system from its system requirements by taking advantage of existing solutions and modifying them to better tackle the associated challenges. Expand
Model-driven organisational reengineering A framework to support organisational improvement
TLDR
A model-driven organisational reengineering framework to support organisational improvement and methods, techniques, model- driven tools, and perspectives for analysing information systems at a high level of abstraction are presented. Expand
Systematic derivation of conceptual models from requirements models: A controlled experiment
TLDR
A controlled experiment that compares the performance of subjects applying two different techniques for deriving object-oriented, UML-compliant conceptual models shows that there is an interaction between the derivation technique and the OO-Method modelling competence of the subject. Expand
GREAT Process Modeller user manual
This report contains instructions to install, uninstall and use GREAT Process Modeller, a tool that supports Communication Analysis, a communication-oriented business process modelling method. GREATExpand
Model-driven system development: Experimental design and report of the pilot experiment
This report describes de design of an experiment that intends to compare two variants of a modeldriven system development method, so as to assess the impact of requirements engineering practice inExpand
Communication Analysis modelling techniques
TLDR
This report can be useful to analysts and business process modellers in general, since, according to industrial experience, it is possible to apply many Communication Analysis concepts, guidelines and criteria to other business process modelling notations such as BPMN. Expand
TraceME: A Traceability-Based Method for Conceptual Model Evolution
  • M. Ruiz
  • Computer Science
  • Lecture Notes in Business Information Processing
  • 2018

References

SHOWING 1-10 OF 40 REFERENCES
Integration of Communication Analysis and the OO-Method: Rules for the manual derivation of the Conceptual Model
TLDR
A systematic technique for deriving OO-Method Conceptual Models from business process and requirements models is proposed and it is shown that using the OLIVANOVA framework, software source code can be generated automatically. Expand
Message Structures: a modelling technique for information systems analysis and design
TLDR
This paper presents Message Structures, a technique for the specification of communicative interactions between the IS and its environment, which can be used both in analysis and in design. Expand
A systematic review of the use of requirements engineering techniques in model-driven development
TLDR
A systematic review of the current use of requirements engineering techniques in MDD processes and their actual automation level shows that although MDD techniques are used to a great extent in platform-independent models, platform-specific models, and at code level, at the requirements level most MDD approaches use only partially defined requirements models or even natural language. Expand
From business process models to process-oriented software systems
TLDR
This article proposes a translation technique that does not impose structural restrictions on the source BPMN model and emphasizes the generation of readable (block-structured) BPEL code. Expand
The OO-method approach for information systems modeling: from object-oriented conceptual modeling to automated programming
TLDR
The OO-method approach to Information Systems Modeling presented in this paper attempts to overcome the conventional (informal)/formal dichotomy by selecting the best ideas from both approaches. Expand
Model-driven architecture in practice - a software production environment based on conceptual modeling
This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial practice. It clearly explains which conceptual primitives should beExpand
Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
TLDR
UML is one of the modeling tools which gains wide area of usage in developing softwares and through modeling it to colored Petri net and by using the formalism of coloredPetri net the authors may able to verify and validate the Activity Diagram. Expand
Unity criteria for Business Process Modelling
TLDR
An important contribution of the paper is to provide unity criteria for BPM, mainly underpinned by systemic principles and Communication Theory, which allow to clearly differentiate between problem space and solution space in BPM. Expand
A research on BPM system based on process knowledge
TLDR
The meaning of extracting PK from BPM is pointed out, using PK to help BPM system monitoring, adjusting, analyzing and optimizing and makes the system more flexible to a certain extent through experimental verification system. Expand
Process Modeling in Web Applications
  • S. Ceri
  • Computer Science
  • OTM Conferences
  • 2005
TLDR
New Web engineering methods for the high-level specification of applications featuring business processes and remote services invocation are presented, broadening the class of Web applications that take advantages of these powerful software engineering techniques. Expand
...
1
2
3
4
...