Can UML with OCL be used for formal specifications?

Posted by Gabriel Šcerbák on Stack Overflow See other posts from Stack Overflow or by Gabriel Šcerbák
Published on 2010-05-11T23:05:27Z Indexed on 2010/05/11 23:14 UTC
Read the original article Hit count: 328

Filed under:

specifications

|

uml

|

ocl

|

modeling

I am asking because UML is used for informal specifications and has some ambiguities in its semantics. However OCL can be used to specify pre/post conditions and invariants and other constraints quite efficiently I think.

I encountered the Z notation and algebraic specifications recently. My question, is combination of UML and OCL sufficient for formal specifications?

© Stack Overflow or respective owner

Related posts about specifications

Bundler isn't loading gems

as seen on Stack Overflow - Search for 'Stack Overflow'
I have been having a problem with using Bundler and being able to access my gems without having to require them somewhere, as config.gem used to do that for me (as far as I know). In my Rails 3 app, I defined my Gemfile like so: clear_sources source "http://gemcutter.org" source "http://gems.github… >>> More
.NET CLR specifications

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi all, Where can I find the spec of CLR ? For example, I want to look at how is implemented in memory the object "ThreadStart". Thanks. >>> More
How to prove writing specifications beats code cowboys?

as seen on Stack Overflow - Search for 'Stack Overflow'
So I have a problem. Or rather my friend has a problem, since I would never write about my company on an internet forum. At my friend's company specification writing is, shall we say, a little underused. There's a deeply ingrained culture of writing code first and asking questions later, whether… >>> More
Rails Tutorial Error with gemspec for "rspec" "annotate" "spork" "ansicolor" [closed]

as seen on Programmers - Search for 'Programmers'
I'm following the Rails Tutorial by Michael Hartl and I'm getting this error when I run. bundle exec rspec spec/requests/static_pages_spec.rb Invalid gemspec in [/Users/chrishuang02/.rvm/gems/ruby-1.9.3-p125@rails3tutorial2ndEd/specifications/annotate-2.4.1.beta1.gemspec]: invalid date format in… >>> More
ATI Radeon HD 4670 Drivers-Features and Specifications

as seen on Article City - Search for 'Article City'
Having the most latest features the ATI radeon HD 4670 drivers deliver a level of gaming performance that was possible earlier only in higher end graphic cards. Support for upto 1GB memory, presence ... [Author: Sunny Makkar - Computers and Internet - March 20, 2010] >>> More

Related posts about uml

Useful UML Modeling: Don't Rewrite the UML

as seen on Devx - Search for 'Devx'
Using a common language is about facilitating the team -- resist the urge to create the next Tower of Babel. >>> More
Useful UML Modeling: Don't Rewrite the UML

as seen on Internet.com - Search for 'Internet.com'
Using a common language is about facilitating the team -- resist the urge to create the next Tower of Babel. >>> More
How to apply stereotypes on UML Relationships' MemberEnds?

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm running this code on a UML Class Diagram, and it works just fine, but when trying to apply stereotypes from PropertiesEditor in Visual Studio for relationship ends (FirstRole and SecondRole), the stereotypes combo doesn't load even if in code there seems to be applicable stereotypes valid for… >>> More
Open Source WPF UML Design tool

as seen on ASP.net Weblogs - Search for 'ASP.net Weblogs'
PlantUmlEditor is my new free open source UML designer project built using WPF and .NET 3.5. If you have used plantuml before, you know that you can quickly create sophisitcated UML diagrams without struggling with a designer. Especially those who use Visio to draw UML diagrams (God forbid!), you… >>> More
PlantUML Editor: A fast and simple UML editor using WPF

as seen on Code Project - Search for 'Code Project'
A WPF smart client to generate UML diagrams from plain text using plantuml tool >>> More