Coordination languages and their significance
Communications of the ACM
Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Role-Based Access Control Models
Computer
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Categorical semantics of parallel program design
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Enforcing Business Policies Through Automated Reconfiguration
Proceedings of the 16th IEEE international conference on Automated software engineering
Smart monitors for composed services
Proceedings of the 2nd international conference on Service oriented computing
Process modelling: the deontic way
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
IT support for healthcare processes - premises, challenges, perspectives
Data & Knowledge Engineering
Role-based Architectural Modelling of Socio-Technical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Workflow resource patterns: identification, representation and tool support
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, exhibit interactions between humans (social components) and technical components (devices, computer-based systems, and so on) that are critical for the domain in which they operate. Our framework is based on a new class of architectural connectors (social laws) that provide mechanisms through which the biddability of human interactions can be taken into account and the sub-ideal situations that result from the violation of organisational norms can be modelled and acted upon by reconfiguring the sociotechnical systems. Our approach is based on formal, algebraic graph-based representations and transformations.