How JustAnswer Works:

  • Ask an Expert
    Experts are full of valuable knowledge and are ready to help with any question. Credentials confirmed by a Fortune 500 verification firm.
  • Get a Professional Answer
    Via email, text message, or notification as you wait on our site.
    Ask follow up questions if you need to.
  • 100% Satisfaction Guarantee
    Rate the answer you receive.

Ask Russell H. Your Own Question

Russell H.
Russell H., Programmer & Coder
Category: Programming
Satisfied Customers: 10483
Experience:  Programmer & Coder
13568747
Type Your Programming Question Here...
Russell H. is online now

How can I implement a linear temporal logic formula using Java

Resolved Question:

How can I implement a linear temporal logic formula using Java ?!!
Submitted: 1 year ago.
Category: Programming
Expert:  Russell H. replied 1 year ago.
Hi, thank you for contacting JustAnswer.com. My name is Russell. I will do my best to provide the right answer to your question. I can instruct you how to implement or 'spell out' mathematical formulas in Java code. Is the context, the whole application, what you are asking about, or only just the coding of a linear temporal logic formula ?
Customer: replied 1 year ago.

Thanks for your response ..

I am asking about just the coding of a linear temporal logic formula ..

Expert:  Russell H. replied 1 year ago.
OK. Please tell me about the formula - or do you just need instructions in the principles in general, of coding logic formulae?
Customer: replied 1 year ago.

Well there is no specific formula just I need instructions on how to code such formulas in Java (creating a class that holds an LTL formula)..

Expert:  Russell H. replied 1 year ago.
OK, if you know how to create and code (in outline or in general) a Java CLASS file, then you just need instruction on the LTL formulae, their coding in general, or an example of one. This will take me a little time to prepare (if it turns out I'm not too incompetent to understand the formulae you have asked about - remotely possible, honestly, though I'm good enough at mathematical notation and concepts...) - How much time may I take?
Customer: replied 1 year ago.

Yes I know the coding in general .. I will appreciate your help in this if you can ..

The mathematical notations in this are not hard to understand they are all about diamonds and boxes, you will understand them if you just check the wikipedias explaining these notations

https://en.wikipedia.org/wiki/Linear_temporal_logic

an example of LTL formula might be :

[]p -> []!q

You may have a day as I need it tomorrow night ..

Expert:  Russell H. replied 1 year ago.
OK. Expect more - hopefully a post with your answer - by tonight sometime in the evening (EDT, Eastern Time Zone US.) Thanks.
Customer: replied 1 year ago.

Alright ,

Thanks a lot ..

Expert:  Russell H. replied 1 year ago.
I am starting work on it now. All's OK so far.
Customer: replied 1 year ago.

Okey, thanks ..

Expert:  Russell H. replied 1 year ago.
LTL is used to analyze Java code.

As for implementing such formulae, there is no established system that I can find, of implementing such mathematical methods in Java code.

The nearest Java has to such operators is the logical AND and the logical OR. Ref: Java Operators summary:
https://docs.oracle.com/javase/tutorial/java/nutsandbolts/opsummary.html

LTL can be coded in the Maude language, I think, though that fact is not clear.

There is no direct way of putting LTL into Java. But, indirectly, might be possible. But the context would have to be specified, since direct encoding of LTL quantities and operators is not possible in Java.
Russell H., Programmer & Coder
Category: Programming
Satisfied Customers: 10483
Experience: Programmer & Coder
Russell H. and other Programming Specialists are ready to help you

What Customers are Saying:

 
 
 
  • My Expert answered my question promptly and he resolved the issue totally. This is a great service. I am so glad I found it I will definitely use the service again if needed. One Happy Customer
< Previous | Next >
  • My Expert answered my question promptly and he resolved the issue totally. This is a great service. I am so glad I found it I will definitely use the service again if needed. One Happy Customer
  • Wonderful service, prompt, efficient, and accurate. Couldn't have asked for more. I cannot thank you enough for your help. Mary C.
  • This expert is wonderful. They truly know what they are talking about, and they actually care about you. They really helped put my nerves at ease. Thank you so much!!!! Alex
  • Thank you for all your help. It is nice to know that this service is here for people like myself, who need answers fast and are not sure who to consult. GP
  • I couldn't be more satisfied! This is the site I will always come to when I need a second opinion. Justin
  • Just let me say that this encounter has been entirely professional and most helpful. I liked that I could ask additional questions and get answered in a very short turn around. Esther
  • Wonderful service, prompt, efficient, and accurate. Couldn't have asked for more. I cannot thank you enough for your help. Mary C.
 
 
 

Meet The Experts:

 
 
 
  • ATLPROG

    ATLPROG

    Computer Software Engineer

    Satisfied Customers:

    7260
    MS in IT.Several years of programming experience in Java C++ C C# Python VB Javascript HTML
< Previous | Next >
  • http://ww2.justanswer.co.uk/uploads/SP/spatlanta2010/2011-6-23_12450_photo.64x64.gif ATLPROG's Avatar

    ATLPROG

    Computer Software Engineer

    Satisfied Customers:

    7260
    MS in IT.Several years of programming experience in Java C++ C C# Python VB Javascript HTML
  • http://ww2.justanswer.co.uk/uploads/ComputersGuru/2010-02-13_051118_Photo41.JPG LogicPro's Avatar

    LogicPro

    Computer Software Engineer

    Satisfied Customers:

    5514
    Expert in C, C++, Java, DOT NET, Python, HTML, Javascript, Design.
  • http://ww2.justanswer.co.uk/uploads/lifesaver333/2010-10-17_191349_ls.jpeg lifesaver's Avatar

    lifesaver

    Computer Software Engineer

    Satisfied Customers:

    936
    Several years of intensive programming and application development experience in various platforms.
  • http://ww2.justanswer.co.uk/uploads/EH/ehabtutor/2012-8-2_202016_1.64x64.jpg ehabtutor's Avatar

    ehabtutor

    Computer Software Engineer

    Satisfied Customers:

    766
    Bachelor of computer science, 5+ years experience in software development, software company owner
  • http://ww2.justanswer.co.uk/uploads/eljonis/2010-01-06_130406_eljon2.jpg Eljon's Avatar

    Eljon

    Consultant

    Satisfied Customers:

    558
    Founder of StockCanvas.com
  • http://ww2.justanswer.co.uk/uploads/FA/fael/2011-1-15_104041_profile500x500.64x64.jpg Rafael Martins's Avatar

    Rafael Martins

    Computer Software Engineer

    Satisfied Customers:

    446
    Desktop, Mobile and Web Developer. 7+ years of experience. Creative solutions provider.
  • http://ww2.justanswer.co.uk/uploads/CH/chutz747/2011-11-6_14231_me.64x64.jpg The-PC-Guy's Avatar

    The-PC-Guy

    Software Engineer

    Satisfied Customers:

    325
    Extensive Knowledge in PHP, MYSQL, CSS & Javascript
 
 
 

Related Programming Questions