Modelling Languages
Machine checkable design patterns using dependent types and domain specific goal oriented modelling languages
... typed languages allows for more precise guarantees to be made about ...when modelling patterns, the resulting specifications exhibited characteristics that could be better modelled using an OO language such ...
282
A declarative approach to heterogeneous multi mode modelling languages
... This paper has proposed a declarative approach to multi-mode heterogeneous DSLs. The approach freely mixes graphical and textual syntax and an algorithm has been presented to process the syntax structures. The algorithm ...
11
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014)
... specification, modelling, validation, manipulation and verification of complex sys- ...visual modelling languages, enhancing formal reasoning at the syntactic as well as semantic level ...
6
SYMEX: A Systems Theory based Framework for Workflow Modelling and Execution
... process modelling, including graphs of events and functions [35], function modelling [36], process flow and object state transition net- works [37], flowcharting techniques [38], XML-based design formats ...
214
An evaluation method for Business Process Management products
... process modelling languages can be easily translated into a business process execution ...a modelling environment in which the business process model can be modelled in a business process execution ...
109
Operational Semantics Applied to Model Driven Engineering
... Runtime quality attributes can be measured when the tool is executed. It con- sists of sub qualities like performance, functionality and usability. The perfor- mance of the tool was not of high priority and there are ...
104
Toward overcoming accidental complexity in organisational decision making
... enterprise modelling tools are not complete with respect to the needs of organizational decision- ...diverse modelling languages with the onus of their co-ordinated use lying entirely on the decision ...
11
Tours of the past through the present of eastern Indonesia
... individual languages on Pantar and Alor is now available, and when this is combined with oral histories and ethnographic observations, we can reconstruct histories of specific speaker groups on a ...
10
More Languages, More MAP?: A Study of Multiple Assisting Languages in Multilingual PRF
... assisting languages - a) Par- allel - all assisting languages combined simultaneously b) Serial - assisting lan- guages combined in sequence one after another and c) Selective - dynamically se- lecting the ...
9
On Languages Distribution
... There are currently about 6,900 languages spoken in the world. The trend of globalization not only profoundly changes the economy and society, but also affects the trend of language development. Currently, more ...
10
The Languages of the Amazon
... She is a major authority on languages of the Arawak family, from northern Amazonia, and has written Grammars of Bare 1995, based on work with the last speaker who has since died and Ware[r] ...
6
Languages under the influence: Building a database of Uralic languages
... Uralic languages, such as Udmurt and Synya Khanty, by a Hungarian language technology company (Mor- phoLogic) and the Research Institute for Linguistics of the Hungarian Academy of Sciences ...
15
Eurofocus: a newssheet for journalists. Weekly No. 9/94, 7-14 March 1994.
... The five are: 1 the national languages of two small EU Member States which are not the official working languages of the EU: Irish and the native language of Luxembourg; 2 the languages [r] ...
5
Volume 44: OCL and Textual Modelling 2011
... The Renesas SH2 model was created collaboration with B2i Automotive Engineering 1 . The work was carried out by a student in master’s degree of computer science and electronic engi- neering, during a six-month ...
17
Introductory Readings in Languages of the Pacific Islands: University of Hawai'i at Manoa, Fall 2016, Linguistics 150
... the languages of people who crossed and recrossed a large ocean at the time when Europeans were paddling on the shores of the Mediterranean Sea and being careful lest they fall off the edge of the ...the ...
10
Diagnosing runtime violations of security and dependability properties
... In Service Oriented Computing, Baresi and Guinea [16] have proposed a framework for runtime monitoring of WS-BPEL processes. Monitoring rules are weaved at runtime into the process they must monitor and a proxy module ...
336
Toward an interoperable software platform for sustainable energy
... Process Modelling Environment (PME), namely a client or a socket, as it uses the CAPE-OPEN interfaces in order to request services from the external ...process modelling and simulation tools, namely their ...
22
Improving Responsibility modelling in Enterprise Architecture, Case Study in the Healthcare Sector
... for modelling a rich concept of responsibility, the accountabilities that are part of it and its links with the employees, the business roles, the tasks, and the rights and ...
18
The translation of high level computer languages to other high level languages
... Then each statement which used the character function would be translated to a procedure call of the Pascal procedure, followed by the translated version of the FORTRAN statement with th[r] ...
211
Classification of South African languages using text and acoustic based methods: A case of six selected languages
... official languages of South Africa. 1 The eleven official languages fall into two distinct groups, namely the Germanic group (represented by Eng- lish and Afrikaans) and the South African Bantu ...
8