{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1515056452',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://www.manongdao.com/data/attach/logo/logo.png', '推荐 ▲ chillily 的问题《How to write OCL contraint》','https://www.manongdao.com/q-1082681.html','页面编码gb2312|utf-8默认gb2312'));){kind=link}
I am new to OCL, I am using papyrus on eclipse luna 4.4.2
I have a class diagram named CLIENT with the constraint {all attributes are out of scope} a second class named Customer with the constraint {all attributes are mandatory} and another class call Address having an attribute provenance with the constraint {provenance shall be mandatory}
How should I write the OCL constraint that suit the formal language?
will also like to know how to verify the correctness of the syntax?
相关问题
- SQL - How do I delete two entities referencing eac
- SCIPY - building constraints without listing each
- How to solve this arithmetic expression puzzle in
- How to specify “one at a time” in UML?
- Delete all records that have no foreign key constr
相关文章
- iOS - proportional spacing with autolayout
- Dart, constraints on Generics?
- Fluent NHibernate primary key constraint naming co
- R function to calculate nearest neighbor distance
- UITableView when changing constraint which effects
- SQL constraint to check whether value doesn't
- CGAL - custom 2D point and intersection behavior i
- SQL Server add a column constraint to limit data t
In case of an collection it checks for non-emptiness and otherwise for an attribute it checks for non-null.
context Address inv: self.provenance->notEmpty()For the other classes you have to do this for every attribute. If you want to do this for every attribute with one invariant you have to formulate them on the metamodel.