I would be very happy to get some advice to make a specification imported smoothly...

[Kazukiysd1023]

Hello,

Now I have a syntactic problem (maybe) in importing some specification into CafeOBJ. I would be very happy to get some advice to fix the problem and make it imported smoothly...

I'm trying to specify some business model innovation in the framework named "Business Model Canvas" invented by Alexander Osterwalder, etc. In that trial, I specified the framework itself as follows; and imported the mod file into CafeOBJ, but I've got the Error messages like "No possible parse for LHS" "No possible parse for RHS" I guess they're coming from some syntactical problem, so I just show a part of the specification here. (please don't mention about its semantics now)

module! BUSINESS-MODEL-CANVAS { imports { pr ( LIST ) pr ( STRING ) pr ( INT ) pr ( 2TUPLE ) pr ( 3TUPLE ) pr ( 4TUPLE ) pr ( BOOL ) pr ( STAKEHOLDER ) } signature { [BusinessModelCanvas] op [ CS _ CR _ CH _ KA _ KR _ KP _ C$ _ R$ _ ] : List List List List List List List List -> BusinessModelCanvas { constr } op profit : BusinessModelCanvas String -> Int op calc : List StakeHolder -> Int

** other operators are omited now. } axiom { var lcs : List var lcr : List var lch : List var lka : List var lkr : List var lkp : List var lc$ : List var lr$ : List var lis1 : List var str1 : String var str2 : String var str3 : String var str4 : String var str5 : String var str6 : String var int1 : Int var 2tpl : 2Tuple var 4tpl : 4Tuple var stkh1 : StakeHolder

eq profit ( [ CS lcs CR lcr CH lch KA lka KR lkr KP lkp C$ lc$ R$ lr$ ] str1 ) = calc ( lr$ str1 ) - calc ( lc$ str1 ) .

cq calc( 4tpl | lis1 stkh1 ) = 2 * 4 * 4tpl + calc( lis1 stkh1 ) if 2 * 4 * 4tpl = stkh1 .
cq calc ( 4tpl | lis1 stkh1 ) = calc ( lis1 stkh1 ) if not ( 1* 4* 4tpl = stkh1 ) ) .
eq calc ( nil stkh1 ) = 0 .

** other equations and conditional equations are omitted now.

} }

Do I make a mistake causing the above Error messages? I would be very happy to get some advices...

Thank you so much in advance.

[norbusan]

Thanks for your question! Can you please provide the other necessary modules (list, stakeholder at least) so that I can try it out? The definitions therein are essential for the parsing construct.

If you mind posting them here, please send them to [email protected] so that I can look at them!

Thanks

[Kazukiysd1023]

Hello norbusan, Thanks so much for your quick respose and kind offer ! I'll send them to you via [email protected]. kazuki

[Kazukiysd1023]

Hello norbusan,

I had sent .mod files to [email protected] on the last Friday. Did you get them?

Is there anything wrong in the specifications? I would be very happy to get your advice!

Thanks so much in advance.

kazuki

[norbusan]

I answered the same day (in Japanese) with a few improvements and suggestions - did you get this email?

[Kazukiysd1023]

Hello norbusan, I'm very sorry for my missing your message in the mailbox. I've just found it, so I'll try to improve the specifications reading your suggestions from now.
Thanks so much for your quick and kind manner. I'd like to ask you later if I would have some troubles again.

p.s. I'm very surprised to know that you can write good Japanese!