Is there any tools or codes to translate the BPEL into NuSMV code? - bpel

Is there any tools or codes to translate the BPEL into NuSMV code?
I have found the paper Modelling and verification of BPEL business processes, but there is no tools or codes provided.

Related

Technical name for underlining an erratic part of the currently writing code

When we write our code through a programming language like C++, JAVA, etc., the software underlines the problematic part of code upon we are writing that. What is the name of this technology?
Intelligent Code Completion.
Under Visual C++, the technology name is Intelisense. Googling about it leads to the wikipedia article about Intelligent Code Completion.

Is Object Oriented Modelling And Design part of Software Architecture?

Is Object Oriented Modelling And Design part of Software Architecture?
I am confused between Object Oriented Modelling & Design and Software Architecure. In Software Achitecture we are providing the skeleton for system (as I understand) In Objet Oriented Modelling and design we design the system using different UML Digrams. So are we doing same thing in Software architecture ?
Because a skeleton could be defined using diagrams only,right?
Can someone please explain me with Example of Software architecture?
No, Object Oriented Modeling is a toolset or process, Software Architecture is a deliverable artifact.
Related:
Wikipedia: Software architecture
Wikipedia: Object-oriented analysis and design
Kirill Fakhroutdinov's uml-diagrams.org: examples of UML diagrams documenting a software architecture
Scott W. Ambler's Agile Modeling: Architecture Envisioning: An Agile Best Practice
Software Architecture is a very broad term. It can describe the software of the tiniest component, to the largest systems.
OOMD is the process of arriving at a design that may be a part of a software architecture, typically by using Class Diagrams. But OOMD can be used outside of designing something new. It can be used to help analyse and understand a piece of legacy code.
UML is a language which is used in conjunction with OOMD. It is nothing more than that. A UML diagram doesn't necessarily 'contain' an architectual concept, just as much as a picture of an apple is an apple. One would use UML to illustrate and solidify concepts that will eventually go into the finished product.
Not all of UML is concerned with OOMD (eg. Use Cases, and Activity Diagrams). And not all of OOMD is concerned with Software Architecture.
No, object oriented modelling and design is not part of the software architecture.
The software achitecture is independent of the platform that is used to implement it. The platform doesn't even have to be object oriented.
Software architecture has been around since before object oriented development even existed. I remember learning software achitecture approaches (JSP) before even hearing about object oriented development (OO was a very recent concept when I was in school).
Part of the software architecture could be used to automatically generate object models using some tool, but this a different part. By doing that you have taken the step beyond the software achitecture and chosen a platform for the implementation.

tools to 'draw out' your program instead of coding it out?

I have been thinking that are there any tools which makes coding like drawing?
if not, is it possible that we can drawing programs instead of coding them(debugging a program would like seeing an animation)?
You might want to read up about Visual programming languages.
Two languages, which both are mainly used for education purposes, are NXT-G for the Lego Mindstorm NXT and EToys. Another language, vvvv, is widely used for rapid prototyping and development for "large media environments with physical interfaces".
There is (commercial) software that is able to execute UML or BPL models, read more here: http://e2ebridge.com/

Which UML tool can really round-trip java code?

Many UML tools claim to do forward / reverse engineering of Java code. However, it turns out from prior experience, that few tools really work in this area.
I haven't been doing Java projects for 3 years, and want to get up to date with the current status in this area.
In Particular I am interested in Creating State Machine Skeletons from Diagram, be able to create hooks to my own code, and be able to reverse engineer the State Diagram back (Do not want to change the State Machine itself outside the Tool).
Which UML tools works in this area? Enterprise Architecht? Visual Paradigm? Others?
Geir Ove
Norway
The reverse engineering from code to UML is done at class diagram for static and sequence diagram for behavioral visualizations.
There is no state machine reverse engineering standard up to today therefore no tool has implemented this feature.
Enterprise Architect comes with a Visual Execution Analysis tool set that has a number of outputs including Sequence Diagram generation of live code execution, State Transition Diagrams (sequence Diagram with states) as well as Profiler reports showing operation and call frequency.
I would suggest reading more on Enterprise Architect Visual Execution Analysis here.

Programming interface

I currently building a data collection system [mainly "EFM" - enterprise feed back management] using .NET.
I was wondering if there is a possibility to provide the user to script and manipulate the objects -> like a programming language but with minor functionalities
For example - "Confirmit" or "Survey Gizmo" both these tools have controls as well as a scripting language to control the flow and logic of the programs
Thanks
Lua is designed to provide scripting capabilities to applications written in C. There is a Lua.NET which supports .NET. Lua is clearly powerful enough to enable your user to "program and manipulate the objects" in your online application. Lua may be overkill; I'm finding it hard to tell from your question.

Resources