«

»

Towards a Rigorous Metamodeling

by Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette
Abstract:
MDE has provided several significant improvements in the development of complex systems by focusing on more abstract issues than programming. However, improvments are needed on the semantic side in order to reach high-level certification such as the one currently required for critical embedded systems (which will also probably be required in the near future for Information Systems as application of Basel II kind of agreements). This paper presents different means to specify models semantics at the metamodel level. We will focus on the definition of executable SPEM-based development process models (workflow related models) using an approach defined for the TOPCASED project.
Reference:
Towards a Rigorous Metamodeling (Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette), In 2nd International Workshop on Model-Driven Enterprise Information Systems (MDEIS), INSTICC press, 2006. (slide.pdf) (AR=47%)
Bibtex Entry:
@inproceedings{mdeis06,
	Abstract = {
	MDE has provided several significant improvements in the development of complex 
	systems by focusing on more abstract issues than programming. However, improvments 
	are needed on the semantic side in order to reach high-level certification such as 
	the one currently required for critical embedded systems (which will also probably 
	be required in the near future for Information Systems as application of Basel II 
	kind of agreements). This paper presents different means to specify models semantics 
	at the metamodel level. We will focus on the definition of executable SPEM-based 
	development process models (workflow related models) using an approach defined for 
	the TOPCASED project.
  },
	Address = {Paphos, Cyprus},
	Author = {Benoit Combemale and Sylvain Rougemaille and Xavier Cr{'e}gut and Fr'ed'eric Migeon and Marc Pantel and Christine Maurel and Bernard Coulette},
	Booktitle = {2nd International Workshop on Model-Driven Enterprise Information Systems (MDEIS)},
	Comment = {<a href="./research/phd/2006/mdeis230406-CRCMPMC-slide.pdf">slide.pdf</a>},
	Irit = {6942},
	Isbn = {972-8865-56-2},
	Month = may,
	Note = {AR=47%},
	Pages = {5--14},
	Publisher = {INSTICC press},
	Title = {Towards a Rigorous Metamodeling},
	Url = {./research/phd/2006/mdeis230406-CRCMPMC.pdf},
	Year = {2006},
	Bdsk-Url-1 = {./research/phd/2006/mdeis230406-CRCMPMC.pdf}}