Adding Type-Bound Actions to Action-Oberon

Adding Type-Bound Actions to Action-Oberon. Back, R., Büchi, M., & Sekerinski, E. Technical Report 66, Turku Centre for Computer Science, November, 1996.

Paper abstract bibtex

We extend the Action-Oberon language for executing action systems with type-bound actions. Type-bound actions combine the concepts of type-bound procedures (methods) and actions, bringing object orientation to action systems. Type-bound actions are created at runtime along with the objects of their bound types. They permit the encapsulation of data and code in objects. Allowing an action to have more than one participant gives us a mechanism for expressing n-ary communication between objects. By showing how type-bound actions can logically be reduced to plain actions, we give our extension a firm foundation in the Refinement Calculus.

@techreport{BackBuchiSekerinski96TypeBoundActions,
	type = {{TUCS} {Technical} {Report}},
	title = {Adding {Type}-{Bound} {Actions} to {Action}-{Oberon}},
	url = {https://tucs.fi/publications/view/?pub_id=tBaBuSe96},
	abstract = {We extend the Action-Oberon language for executing action systems with type-bound actions. Type-bound actions combine the concepts of type-bound procedures (methods) and actions, bringing object orientation to action systems. Type-bound actions are created at runtime along with the objects of their bound types. They permit the encapsulation of data and code in objects. Allowing an action to have more than one participant gives us a mechanism for expressing n-ary communication between objects. By showing how type-bound actions can logically be reduced to plain actions, we give our extension a firm foundation in the Refinement Calculus.},
	number = {66},
	institution = {Turku Centre for Computer Science},
	author = {Back, Ralph and Büchi, Martin and Sekerinski, Emil},
	month = nov,
	year = {1996},
	pages = {15},
}

Downloads: 0

{"_id":"7GryNEWprwiBCeyxG","bibbaseid":"back-bchi-sekerinski-addingtypeboundactionstoactionoberon-1996","author_short":["Back, R.","Büchi, M.","Sekerinski, E."],"bibdata":{"bibtype":"techreport","type":"TUCS Technical Report","title":"Adding Type-Bound Actions to Action-Oberon","url":"https://tucs.fi/publications/view/?pub_id=tBaBuSe96","abstract":"We extend the Action-Oberon language for executing action systems with type-bound actions. Type-bound actions combine the concepts of type-bound procedures (methods) and actions, bringing object orientation to action systems. Type-bound actions are created at runtime along with the objects of their bound types. They permit the encapsulation of data and code in objects. Allowing an action to have more than one participant gives us a mechanism for expressing n-ary communication between objects. By showing how type-bound actions can logically be reduced to plain actions, we give our extension a firm foundation in the Refinement Calculus.","number":"66","institution":"Turku Centre for Computer Science","author":[{"propositions":[],"lastnames":["Back"],"firstnames":["Ralph"],"suffixes":[]},{"propositions":[],"lastnames":["Büchi"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"month":"November","year":"1996","pages":"15","bibtex":"@techreport{BackBuchiSekerinski96TypeBoundActions,\n\ttype = {{TUCS} {Technical} {Report}},\n\ttitle = {Adding {Type}-{Bound} {Actions} to {Action}-{Oberon}},\n\turl = {https://tucs.fi/publications/view/?pub_id=tBaBuSe96},\n\tabstract = {We extend the Action-Oberon language for executing action systems with type-bound actions. Type-bound actions combine the concepts of type-bound procedures (methods) and actions, bringing object orientation to action systems. Type-bound actions are created at runtime along with the objects of their bound types. They permit the encapsulation of data and code in objects. Allowing an action to have more than one participant gives us a mechanism for expressing n-ary communication between objects. By showing how type-bound actions can logically be reduced to plain actions, we give our extension a firm foundation in the Refinement Calculus.},\n\tnumber = {66},\n\tinstitution = {Turku Centre for Computer Science},\n\tauthor = {Back, Ralph and Büchi, Martin and Sekerinski, Emil},\n\tmonth = nov,\n\tyear = {1996},\n\tpages = {15},\n}\n\n","author_short":["Back, R.","Büchi, M.","Sekerinski, E."],"key":"BackBuchiSekerinski96TypeBoundActions","id":"BackBuchiSekerinski96TypeBoundActions","bibbaseid":"back-bchi-sekerinski-addingtypeboundactionstoactionoberon-1996","role":"author","urls":{"Paper":"https://tucs.fi/publications/view/?pub_id=tBaBuSe96"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["adding","type","bound","actions","action","oberon","back","büchi","sekerinski"],"title":"Adding Type-Bound Actions to Action-Oberon","year":1996}