A formalism for conformance analysis and its applications

Nguyen, T.N.; Munson, E.V.

doi:10.1109/sefm.2004.1347537

Search citation statements

Order By: Relevance

Paper Sections

Select...

Qac Methods Techniques and Tools1

Citation Types

Supporting

Mentioning

Contrasting

Publication Types

Select...

Other2

Article1

Relationship

Self Cite0

Independent3

Authors

Journals

Cited by 3 publications

(1 citation statement)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The techniques used are based in logics, for example: model checking, formal framework, hypertext, abstract dependence graph, static checking and so on. A tool supporting this method is presented in [319].…”

Section: Qac Methods Techniques and Toolsmentioning

confidence: 99%

Contribution to Quality-driven Evolutionary Software Development process for Service-Oriented Architectures

Herrera¹

View full text Add to dashboard Cite

show abstract

Section: Qac Methods Techniques and Toolsmentioning

confidence: 99%

Contribution to Quality-driven Evolutionary Software Development process for Service-Oriented Architectures

Herrera¹

View full text Add to dashboard Cite

show abstract

Component-Based Software Update Process in Collaborative Software Development

Nguyen

2008

2008 15th Asia-Pacific Software Engineering Conference

View full text Add to dashboard Cite

Conformance Analysis of Organizational Models

Brandt¹,

Hermann

2013

International Journal of Information System Modeling and Design

View full text Add to dashboard Cite

Organizational models play a key role in today’s enterprise modeling. They usually show up as partial models produced in a distributed and non-synchronized fashion by people with different conceptual understandings. For this reason, there is a major need to organize partial organizational models within a suitable modeling framework, and, moreover, to check their mutual conformance. This builds the basis to integrate the partial organizational models later on into one holistic model of the organization and for model checking certain security, risk, and compliance constraints. In order to attain this goal, the authors present two mutually aligned contributions. The first one is a new enterprise modeling framework—the EM-Cube. The second one is a new approach for checking conformance of models based on the suggested formal modeling technique associated with the proposed framework. They evaluate the potential solution against concrete requirements derived from a real-world scenario coming out of the finance industry.

show abstract

A formalism for conformance analysis and its applications

Abstract: Abstract

Cited by 3 publications

References 18 publications

Contribution to Quality-driven Evolutionary Software Development process for Service-Oriented Architectures

Contribution to Quality-driven Evolutionary Software Development process for Service-Oriented Architectures

Component-Based Software Update Process in Collaborative Software Development

Conformance Analysis of Organizational Models

Contact Info

Product

Resources

About