specifications - Formal way to describe protocols -

-

Is there a formal / traditional way to describe the data / command exchange protocol? For example, there are many approaches to describing syntax and semantics (such as :) for programming languages.

The approach I am looking for is useful (as opposed to academic). While working on specifications, I need something for day-to-day usage for data exchange details, just to transfer / spread the views of other people. Therefore, if there is anything that is not recognized as a D-Facto standard but useful - it's OK too.

I took a look at the UML sequence diagrams and the details of the "payloads" in the pre-system are missing by "formal method for communication protocol specificity and verification, Carl A. Sunshine, 1979" (less than Less what I had understood), while the other is rather an enlightening letter, which describes ideas rather than methods (although I am still going through this letter).

Thanks in advance

Send the protocol according to a series of interactions Are the messages.

I have seen that the best way to specify the protocol is

based on CPN ("not useless"), which synchronizes parallel activities, for example, Message responses, using place to represent possible states, token-in-places to represent the state, and transit (synchronization) gates shows that parallel states are used to represent Must match to Rgti. Petri trap finite state machines (an FSA is a PN which is always a "single token", for example, "current status") and therefore can do a generalization; In fact, they can compress some FSAs "very quickly" in very small details and thus can be quite brief for complex interaction scenes. But does not solve the data of a traditional PN exchanges.

CPN is normally a strange way of saying "color" ("data type") to the token to add data types to PNS and the transition can not be synchronized only, but the tokens can not be synchronized with other tokens. To add to production, for example, calculate new values.

A protocol CPN is thus the message content as the data type, and PNS has asked to point out the synchronization. If you have never used CPN, then you really have trouble knowing what they are, because they are doing very generalization of FSA.

There are "useful" comments about OP, very good tools available, including graphical modeling and code generation.

Comments

Post a Comment

Popular posts from this blog

java - ImportError: No module named py4j.java_gateway -

-
I'm trying to call the Python using the Java program py4j . I've been installing the plug-in Eclipse and test name Piidvi project. I'm trying to execute the following part of the code found on py4j webpage: Import from py4j.java_gateway to JavaGateway, java_import gateway = JavaGateway () jvm = gateway.jvm java_import (jvm, '' Org.eclipse Kkorkrisorsej. * ") Vrkspes_rut = Jvankresourkesplginkgetvrkspas (). GetRoot (Gateway .help (workspace_root, '* Projects *') project_names = [project.getName () (for projects workpace_root.getProjects))] print (Projekt_nam) But I There is an error in import. I have checked that the P4JJ is present in the Jar Eclipse plugin directory. Can anyone help please? I had to install the py4j application
Read more

python - Receiving "KeyError" after decoding json result from url -

-
I am new to Python I am trying to parse JSON result from a URL. Basically, I was using the following: response = urllib.request.urlopen (url) json_obj = json.load (response) It should be a stroke "str 'not' bytes' in the lines of a given" JSON object, so after searching on the StackoverView Flo, I decode the response in this way: F = urllib.request.urlopen (Url) charset = f.info (). Get_param ('charset', 'utf8') data = f.read () decoded = json.loads (data.decode (charset)) If I print "decode" I is as follows: { 'link': { 'summary data': 'https: // localhost / piwebapi / streams / p0_7qHaW4UHU-RlCaz8tpasAAQAAAAU0hJTExNQU42NDIwXFNJTlVTT0lE / summary' 'value': 'https: // localhost / Piwebapi / streams / P0_7qHaW4UHU-RlCaz8tpasAAQAAAAU0hJTExNQU42NDIwXFNJTlVTT0lE / price ',' InterpolatedData ':' https: // localhost / Piwebapi / streams / P0_7qHaW4UHU-RlCaz8tpasAAQAAAAU0hJTE...
Read more

.net - Creating a new Queue Manager and Queue in Websphere MQ (using C#) -

-
"itemprop =" text "> I am writing applications that use WebSphere MQ to send messages. My unittests (for flow), I want to verify that I have put the correct message on the response queue. I am trying to figure out how to do this. My main obstacle is that I think it might be scary to clear the queue before running in my queue because the same queue can be used by other applications, I thought a decent solution would be a new line The manager will remove the queue for my solidarity and after using it. So my question is: Is it possible to use C # by using queue manager and queue? After the For future reference and future people, who want to make queues. I thought how to make and remove IBM MQ QE (not quenhers) with PCM messaging. It is not very simple, but it can be done. We have implemented it in a library and it is being used to create and delete commands before and after integration tests. The most important part of the code in this library is shown in the...
Read more