References of "Ma, Qin 50009199"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailEnabling Value Co-Creation in Customer Journeys with VIVA
Razo-Zapata, Iván; Chew, Eng; Ma, Qin UL et al

in Joint International Conference of Service Science and Innovation and Serviceology (2018)

Detailed reference viewed: 31 (2 UL)
Full Text
Peer Reviewed
See detailTowards Purposeful Enterprise Modeling for Enterprise Analysis
de Kinderen, Sybren; Ma, Qin UL

in 2018 International Conference on Information Management & Management Science (2018)

Detailed reference viewed: 138 (3 UL)
Full Text
Peer Reviewed
See detailDecomposing Models through Dependency Graphs
Ma, Qin UL; Kelsen, Pierre UL

in 12th International Symposium on Theoretical Aspects of Software Engineering (2018)

Detailed reference viewed: 73 (5 UL)
Full Text
Peer Reviewed
See detailModeling in Support of Multi-Perspective Valuation of Smart Grid Initiatives
Kaczmarek-Heß, Monika; de Kinderen, Sybren; Ma, Qin UL et al

in IEEE 12th International Conference on Research Challenges in Information Science (2018)

Detailed reference viewed: 41 (0 UL)
Full Text
Peer Reviewed
See detailTowards Meta Model Provenance: a Goal-Driven Approach to Document the Provenance of Meta Models
de Kinderen, Sybren; Kaczmarek-Heß, Monika; Ma, Qin UL et al

in Lecture Notes in Business Information Processing 305 (2017)

Detailed reference viewed: 44 (2 UL)
Full Text
Peer Reviewed
See detailThe Conjoint Modeling of Value Networks and Regulations of Smart Grid Platforms: A Luxembourg Case Study
Razo-Zapata, Iván S.; Ma, Qin UL; Kaczmarek-Heß, Monika et al

in 19th IEEE Conference on Business Informatics, CBI 2017, Thessaloniki, Greece, July 24-27, 2017, Volume 2: Workshop Papers (2017)

Detailed reference viewed: 55 (1 UL)
Full Text
Peer Reviewed
See detailGoal-Based Decision Making Using Goal-Oriented Problem Structuring and Evaluation Visualization for Multi Criteria Decision Analysis
Ma, Qin UL; de Kinderen, Sybren

in In Proceedings of the 22nd International Working Conference on Requirements Engineering: Foundation for Software Quality (LNCS 9619) (2016)

Detailed reference viewed: 38 (1 UL)
Full Text
Peer Reviewed
See detailA generic model decomposition technique and its application to the Eclipse modeling framework
Ma, Qin UL; Kelsen, Pierre UL; Glodt, Christian UL

in Software & Systems Modeling (2015), 14(2), 921-952

Model-driven software development aims at easing the process of software development by using models as primary artifacts. Although less complex than the real systems they are based on, models tend to be ... [more ▼]

Model-driven software development aims at easing the process of software development by using models as primary artifacts. Although less complex than the real systems they are based on, models tend to be complex nevertheless, thus making the task of handling them non-trivial in many cases. In this paper we propose a generic model decomposition technique to facilitate model management by decomposing complex models into smaller sub-models that conform to the same metamodel as the original model. The technique is based upon a formal foundation that consists of a formal capturing of the concepts of models, metamodels, and model conformance; a formal constraint language based on EssentialOCL; and a set of formally proved properties of the technique. We organize the decomposed sub-models in a mathematical structure as a lattice, and design a linear-time algorithm for constructing this decomposition. The generic model decomposition technique is applied to the Eclipse Modeling Framework (EMF) and the result is used to build a solution to a specific model comprehension problem of Ecore models based upon model pruning. We report two case studies of the model comprehension method: one in BPMN and the other in fUML. [less ▲]

Detailed reference viewed: 118 (28 UL)
Full Text
Peer Reviewed
See detailA Conceptual Model for Compliance Checking Support of Enterprise Architecture Decisions
Plataniotis, Georgios; De Kinderen, Sybren UL; Ma, Qin UL et al

in Proceedings of the 17th IEEE Conference on Business Informatics, Lisbon Portugal, July 13-16, 2015, Volume 1 (2015)

Detailed reference viewed: 49 (0 UL)
Full Text
Peer Reviewed
See detailRequirements Engineering for the Design of Conceptual Modeling Languages - a goal- and value-oriented approach
De Kinderen, Sybren UL; Ma, Qin UL

in Applied Ontology (2015)

Conceptual modeling languages are purposeful artifacts, hence their design should also start from the purpose that they serve. Such purposeful design addresses the requirements engineering concern of a ... [more ▼]

Conceptual modeling languages are purposeful artifacts, hence their design should also start from the purpose that they serve. Such purposeful design addresses the requirements engineering concern of a language specification being aligned with the goals of its users. Thereby relevance of the language is ensured, instead of developing a language for language’s sake. We posit that this addresses some known issues that are due to a misalignment between a language’s specification and the goals of its intended users. In this paper, we introduce vGREL, a goal- and value-oriented approach for purposeful language development. vGREL helps language engineers to start the design of conceptual modeling languages with requirements engineering exercises. To this end vGREL provides (1) a purpose driven requirements engineering process for language design; (2) a value profile for the Goaloriented Requirements Language (GRL) to enable analysis and reasoning during the process and capture its results; and leverages (3) the software tool support of GRL for decision making during language design. To illustrate vGREL, we apply it to a case study on responsibility-based access rights management. Furthermore, we present reflections on vGREL from the language engineer involved in the case study. [less ▲]

Detailed reference viewed: 83 (3 UL)
Full Text
Peer Reviewed
See detailTraceability and Modeling of Requirements in Enterprise Architecture from a Design Rationale Perspective
Plataniotis, Georgios; De Kinderen, Sybren UL; Ma, Qin UL et al

in Ninth IEEE conference on Research Challenges in Information Systems (RCIS 2015), Athens, May 13-15, 2015 (2015)

Our work aims to rationalize Enterprise Architectures (EA) by providing the reasoning behind the designs, in terms of selection criteria, design alternatives and more. Its major contribution is a formal ... [more ▼]

Our work aims to rationalize Enterprise Architectures (EA) by providing the reasoning behind the designs, in terms of selection criteria, design alternatives and more. Its major contribution is a formal metamodel that captures the reasoning and the inter-relationships of design decisions. This paper extends our approach in order to provide an explicit bridging between the Problem space that is defined by the different requirements and the Solution space that is described by specific design decisions. In doing so, EA Anamnesis also supports traceability from specific design decisions to the given requirements. [less ▲]

Detailed reference viewed: 120 (2 UL)
Full Text
Peer Reviewed
See detailAlgorithms for tractable compliance problems
Colombo Tosatto, Silvano UL; Kelsen, Pierre UL; Ma, Qin UL et al

in Frontiers of Computer Science (2015), 9(1), 55-74

In general the problem of verifying whether a structured business process is compliant with a given set of regulations is NP-hard. The present paper focuses on identifying a tractable subset of this ... [more ▼]

In general the problem of verifying whether a structured business process is compliant with a given set of regulations is NP-hard. The present paper focuses on identifying a tractable subset of this problem, namely verifying whether a structured business process is compliant with a single global obligation. Global obligations are those whose validity spans for the entire execution of a business process. We identify two types of obligations: achievement and maintenance. In the present paper we firstly define an abstract framework capable to model the problem and secondly we define procedures and algorithms to deal with the compliance problem of checking the compliance of a structured business process with respect to a single global obligation. We show that the algorithms proposed in the paper run in polynomial time. [less ▲]

Detailed reference viewed: 131 (14 UL)
Full Text
Peer Reviewed
See detailTowards An Analysis Driven Approach for Adapting Enterprise Architecture Languages
De Kinderen, Sybren UL; Ma, Qin UL

in 6th international EMISA workshop, Luxembourg-ville, 25 to 26 september 2014 (2014)

Enterprise Architecture (EA) modeling languages are increasingly used for various enterprise wide analyses. In most cases one needs to adapt EA languages to an appropriate level of detail. However such an ... [more ▼]

Enterprise Architecture (EA) modeling languages are increasingly used for various enterprise wide analyses. In most cases one needs to adapt EA languages to an appropriate level of detail. However such an adaptation is not straightforward. Language engineers currently deal with analysis driven language adaptation in an ad-hoc manner, adapting languages from scratch. This introduces various problems, such as a tendency to add uninteresting and/or unnecessary details to languages, while important enterprise details are not documented. Moreover, adding detail increases the complexity of languages, which in turn inhibits a language's communication capabilities. Yet experience from practice shows that architects often are communicators, next to analysts. As a result, one needs to find a balance between a model's communication and analysis capabilities. In this position paper we argue for an approach for assisting language engineers in adapting, in a controlled manner, EA languages for model-driven enterprise analyses. Furthermore, we present the key ingredients of such an approach, and use these as a starting point for a research outlook. [less ▲]

Detailed reference viewed: 30 (3 UL)
Full Text
Peer Reviewed
See detailAlgorithms for Basic Compliance Problems
Colombo Tosatto, Silvano UL; El Kharbili, Marwane UL; Governatori, Guido et al

in 2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013. (2013, March)

The present paper focuses on the problems of verifying compliance for global achievement and maintenance obligations. We first introduce the elements needed to identify and study compliance to these two ... [more ▼]

The present paper focuses on the problems of verifying compliance for global achievement and maintenance obligations. We first introduce the elements needed to identify and study compliance to these two classes of obligations in processes. Additionally, we define procedures and algorithms to efficiently deal with the identified compliance problem. We finally show that both algorithms proposed in the paper belong to the complexity class P. [less ▲]

Detailed reference viewed: 152 (13 UL)
Full Text
Peer Reviewed
See detailCoReL: Policy-Based and Model-Driven Regulatory Compliance Management
El Kharbili, Marwane UL; Ma, Qin UL; Kelsen, Pierre UL et al

in Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference (2011)

Regulatory compliance management is now widely recognized as one of the main challenges still to be efficiently dealt with in information systems. In the discipline of business process management in ... [more ▼]

Regulatory compliance management is now widely recognized as one of the main challenges still to be efficiently dealt with in information systems. In the discipline of business process management in particular, compliance is considered as an important driver of the efficiency, reliability and market value of companies. It consists of ensuring that enterprise systems behave according to some guidance provided in the form of regulations. This paper gives a definition of the research problem of regulatory compliance. We show why we expect a formal policy-based and model-driven approach to provide significant advantages in allowing enterprises to flexibly manage decision-making related to regulatory compliance. For this purpose, we contribute CoReL, a domain-specific modeling language for representing compliance requirements that has a graphical concrete syntax. Informal semantics of CoReL are introduced and its use is illustrated on an example. CoReL allows to leverage business process compliance modeling and checking, enhancing it with regard to, among other dimensions, user-friendliness, genericity, and traceability. [less ▲]

Detailed reference viewed: 79 (2 UL)
Full Text
Peer Reviewed
See detailModels within Models: Taming Model Complexity Using the Sub-model Lattice
Kelsen, Pierre UL; Ma, Qin UL; Glodt, Christian UL

in 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011) (2011)

Model-driven software development aims at easing the process of software development by using models as primary artifacts. Although less complex than the real systems they are based on, models tend to be ... [more ▼]

Model-driven software development aims at easing the process of software development by using models as primary artifacts. Although less complex than the real systems they are based on, models tend to be complex nevertheless, thus making the task of comprehending them non-trivial in many cases. In this paper we propose a technique for model comprehension based on decomposing models into sub-models that conform to the same metamodel as the original model. The main contributions of this paper are: a mathematical description of the structure of these sub-models as a lattice, a linear-time algorithm for constructing this decomposition and finally an application of our decomposition technique to model comprehension. [less ▲]

Detailed reference viewed: 92 (15 UL)
Full Text
Peer Reviewed
See detailEnterprise Regulatory Compliance Modeling using CoReL: An illustrative Example
El Kharbili, Marwane UL; Ma, Qin UL; Kelsen, Pierre UL et al

in The 13th IEEE Conference on Commerce and Enterprise Computing, CEC 2011 (2011)

Regulatory compliance management is a critical and challenging task, especially in the context of Business Process Management. It requires a comprehensive framework for dealing with compliance ... [more ▼]

Regulatory compliance management is a critical and challenging task, especially in the context of Business Process Management. It requires a comprehensive framework for dealing with compliance requirements: elicitation, modeling, static and dynamic checking and reporting. We previously defined CoReL, a domain specific language for the domain of compliance decision-making. This paper shows how CoReL can be used to model compliance requirements using an illustrative example. In particular, we show how CoReL agnosticism of logical formalisms and coverage of enterprise business aspects leverages the task of compliance modeling to the business user level. [less ▲]

Detailed reference viewed: 81 (1 UL)
Full Text
Peer Reviewed
See detailUsing VCL as an Aspect-Oriented Approach to Requirements Modelling
Amalio, Nuno UL; Kelsen, Pierre UL; Ma, Qin UL et al

in Transactions on Aspect-Oriented Software Development (2010), 7

Software systems are becoming larger and more complex. By tackling the modularisation of crosscutting concerns, aspect-orientation draws attention to modularity as a means to address the problems of ... [more ▼]

Software systems are becoming larger and more complex. By tackling the modularisation of crosscutting concerns, aspect-orientation draws attention to modularity as a means to address the problems of scalability, complexity and evolution in software systems development. Aspect-oriented modelling (AOM) applies aspect-orientation to the construction of models. Most existing AOM approaches are designed without a formal semantics, and use multi-view partial descriptions of behaviour. This paper presents an AOM approach based on the Visual Contract Language (VCL): a visual language for abstract and precise modelling, designed with a formal semantics, and comprising a novel approach to visual behavioural modelling based on design by contract where behavioural descriptions are total. By applying VCL to a large case study of a car-crash crisis management system, the paper demonstrates how modularity of VCL's constructs, at different levels of granularity, help to tackle complexity. In particular, it shows how VCL's package construct and its associated composition mechanisms are key in supporting separation of concerns, coarse-grained problem decomposition and aspect-orientation. The case study's modelling solution has a clear and well-defined modular structure; the backbone of this structure is a collection of packages encapsulating local solutions to concerns. [less ▲]

Detailed reference viewed: 97 (3 UL)
Full Text
Peer Reviewed
See detailSpecifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL
Amalio, Nuno UL; Kelsen, Pierre UL; Ma, Qin UL

in 15th International Conference, EMMSAD 2010 (2010)

The value of visual representations in software engineering is widely recognised. This paper addresses the problem of formality and rigour in visual-based descriptions of software systems. It proposes a ... [more ▼]

The value of visual representations in software engineering is widely recognised. This paper addresses the problem of formality and rigour in visual-based descriptions of software systems. It proposes a new language, VCL, designed to be visual, formal and modular, targeting abstract specification at level of requirements, and that aims at expressing visually what is not visually expressible using mainstream visual languages, such as UML. This paper presents and illustrates VCL's approach to structural modelling based on the VCL notations of structural and constraint diagrams with a case study. VCL's contributions lie in its modularity mechanisms, and the support for two alternative styles of visual constraint modelling (one closer to set theory expressions and based on Euler diagrams, the other closer to predicate calculus and based on object graphs). [less ▲]

Detailed reference viewed: 71 (1 UL)
Full Text
Peer Reviewed
See detailSpecifying structural properties and their constraints formally, visually and modularly using VCL
Amalio, Nuno UL; Kelsen, Pierre UL; Ma, Qin UL

in EMMSAD 2010 (2010)

The value of visual representations in software engineering is widely recognised. This paper addresses the problem of formality and rigour in visual-based descriptions of software systems. It proposes a ... [more ▼]

The value of visual representations in software engineering is widely recognised. This paper addresses the problem of formality and rigour in visual-based descriptions of software systems. It proposes a new language, VCL, designed to be visual, formal and modular, targeting abstract specification at level of requirements, and that aims at expressing visually what is not visually expressible using mainstream visual languages, such as UML. This paper presents and illustrates VCL's approach to structural modelling based on the VCL notations of structural and constraint diagrams with a case study. VCL's contributions lie in its modularity mechanisms, and the support for two alternative styles of visual constraint modelling (one closer to set theory expressions and based on Euler diagrams, the other closer to predicate calculus and based on object graphs). [less ▲]

Detailed reference viewed: 75 (2 UL)