Is anyone using Formal Concept Analysis for system requirements management and analysis?

More Joseph James Simpson's questions See All

What are the primary uses of a binary matrix is system structure analysis?

A binary matrix (logic matrix, relation matrix, Boolean matrix or (0,1 matrix) ) can be used to structure poorly defined or unknown systems. What are some of the current uses of this technique?

10 November 2014 1,779 4 View

Are there any standard complexity reduction methods used in systems engineering?

If so, what are they?

10 November 2014 1,893 11 View

Is there a standard set, or category of examples used to explain and demonstrate Boolean Reasoning?

Boolean reasoning appears to get much less attention than Boolean minimization in system design work. Are there any standard, classical examples of Boolean reasoning that are used to show their...

31 December 2013 9,272 27 View

"What is the difference between informal language and a formal language?"

Attempting to understand the boundary between formal and informal language types.

11 December 2013 8,695 4 View

What are the current applications of Boolean reasoning in formal systems and software engineering?

This question explores the use of formal Boolean reasoning in the area of systems design, development and deployment,

07 August 2013 2,934 8 View

error in running a model in Abaqus

Excessive rotation of nodes in node set ErrNodeExcessRotation-Step1

17 August 2021 0 0 View

error in modelling model in Abaqus

Excessive rotation of nodes in node set ErrNodeExcessRotation-Step1

17 August 2021 0 0 View

MGL tools

20 June 2021 0 0 View

How climate change will influences human and animal behavioral change?

The role of climate change influencing the human behavior as well as economics interest

01 June 2021 0 0 View

flexibility of polymers chain

effect of double bond on the flexibility of polymers

07 April 2021 0 0 View

i have some problem with chtMultiRegionSimpleFoam

--> FOAM FATAL ERROR: Maximum number of iterations exceeded From function Foam::scalar Foam::species::thermo::T(Foam::scalar, Foam::scalar, Foam::scalar, Foam::scalar (Foam::species::thermo::*)(Foam::scalar, Foam::scalar) const, Foam::scalar (Foam::species::thermo::*)(Foam::scalar, Foam::scalar) const, Foam::scalar (Foam::species::thermo::*)(Foam::scalar) const) const [with Thermo = Foam::hConstThermo >; Type = Foam::sensibleEnthalpy; Foam::scalar = double; Foam::species::thermo = Foam::species::thermo >, Foam::sensibleEnthalpy>] in file /home/ubuntu/OpenFOAM/OpenFOAM-4.1/src/thermophysicalModels/specie/lnInclude/thermoI.H at line 66. FOAM aborting #0 Foam::error::printStack(Foam::Ostream&) at ??:? #1 Foam::error::abort() at ??:? #2 Foam::heRhoThermo >, Foam::sensibleEnthalpy> > > >::calculate() at ??:? #3 Foam::heRhoThermo >, Foam::sensibleEnthalpy> > > >::correct() at ??:? #4 ? at ??:? #5 __libc_start_main in "/lib/x86_64-linux-gnu/libc.so.6" #6 ? at ??:?

24 March 2021 0 0 View

Formulation of polymer color flakes

I am writing to request some information for making polymer color flakes. I would appreciate the help.

17 March 2021 0 0 View

How to compare two groups with only two measurements?

Hiiiii everyone! I have an enquiry on statistical analysis. I was looking for many forum and it's still cannot solve my problem. I want to compare means of two groups of data but only with two...

03 March 2021 8,796 3 View

Could you recommend any books about Number Theory?

Beginner level books. High level books. Analytical Number Theory. Algebraic Number Theory. Combinatorical Number Theory. Books about partitions. Books about primes.

03 March 2021 7,174 5 View

Why should we choose deep learning to machine learning? Why is CNN better for image classification? Can I get Typical Answer?

What Characteristics makes CNN work better?

03 March 2021 1,458 4 View

Joseph James Simpson

What methods are used for requirements management?

What do people use Formal Concept Analysis for?

Ljubomir Jacić

Dear @Joseph, I have not used Formal Concept Analysis, but I have read a some papers about this issue, where some application are given. Hope it will be helpful!

Conference Paper Secure Data Integration: A Formal Concept Analysis Based Approach

Article Fuzzy and rough formal concept analysis: A survey

Conference Paper Using Formal Concept Analysis for Scheduling Legacy System I...

Ljubomir:

Thanks for the information.

I will follow up on these.

Take care,

Joe

Benjamin James Keller

If annotated properly, you could use FCA to identify dependencies among requirements. If you have text-based requirements, you might start by extracting terms (non-stopwords) from the text and then create a requirement-term incidence relation and look for dependencies there. With other kinds of requirements, you'd have to define your attributes differently.

There is more to it, but the concept lattice in this case is a structure that shows how the terms co-occur in the requirements. These term sets would give the ontology structure. If the lattice is small enough you can simply draw it and look for interesting relationships, but for larger data sets data mining can be done over sub-lattices of interest. (FCA is under-the-hood of some association rule mining heuristics).

If you need help, I'm just over the bridge.

Benjamin:

Thanks for the reply, information and offer.

This is an area that I am just starting to explore in more depth.

Any specific software packages that would be suitable for text-based requirements?

As you point out, some pre-processing would need to be done.

Take care, be good to yourself and have fun,

Joe,

The Uta Priss link below is the goto page for FCA resources. I haven't looked to see if there are any readily available FCA tools that deal directly with text.

My guess is that you'll have to adapt some pre-existing text mining tool to your purpose, and getting the right terms can require a little cleverness. You might try annotating with all n-grams for say n up to 4. The concepts will contain redundant n-grams (in the sense that every 4-gram has four 3-grams as subphrases, etc), so you'll want to simplify each concept leaving only the k-grams that don't occur in another n-gram in the concept. A little messy, but would avoid the need to be too clever.

Ben

PS Not sure they will help, but I do have some tutorial slides on SlideShare (www.slideshare.net/BenjaminKeller). I do update them as I find mistakes.

PSPS I don't have electronic copies of the papers you requested -- ResearchGate doesn't allow me to tell you that directly

http://www.upriss.org.uk/fca/fca.html

Ben:

Thanks for the information...

My plan is to start working this in the next few weeks...

Have a great holiday...

Thanks again for the pointer to the papers.

These have provided a great start.

You are very welcome dear @Joseph! Wish You a very good research. Happy New Year to all of our RG friends!

Just scanned your slides on slideshare and the code on GitHub..

Very interesting... I will digest the material more as I move forward.

Have a great new year..

Joe, I just noticed yesterday that the Ganter "Formal Concept Analysis: Foundations and Applications" book has a section on Software Engineering. Though, it probably duplicates Ljubomir's list somewhat.

Dear @Benjamin, better duplicate resource than none, right! @Joseph, I hope the research is ongoing good! Good luck!

I have the book, 'Formal Concept Analysis: Mathematical Foundations."

It seems like I need to read the book you mentioned.

Thanks again, be good to yourself and have fun,

You are correct...

We sill see where things go over the next few months...

Have fun,

Rushikesh K. Joshi

We have two papers on use of concept lattices in this area:

Identifying Architectural Connectors

through Formal Concept Analysis of

Communication Primitives (ECSA 2010)

https://link.springer.com/chapter/10.1007/978-3-642-15114-9_53

Concept Analysis for Class Cohesion (CSMR 2009)

http://ieeexplore.ieee.org/document/4812758/

Rushikesh: